%0 Journal Article %1 kazakov2013incredible %A Kazakov, Yevgeny %A Krötzsch, Markus %A Simanc\'ık, Frantisek %D 2013 %I Springer %J Journal of Automated Reasoning %K imported %P 1--61 %T The incredible elk

@article{kazakov2013incredible, added-at = {2015-01-14T21:25:14.000+0100}, author = {Kazakov, Yevgeny and Kr{\"o}tzsch, Markus and Siman{\v{c}}{\'\i}k, Franti{\v{s}}ek}, biburl = {https://www.bibsonomy.org/bibtex/2515c86cf13ad8cb86a9f5a79377fcb57/diverzulu}, file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Biomedicine Ontology\\Reasoners\\2013-JAR-The incredible elk.pdf:PDF}, interhash = {6fa0325a266c7aa13be220bf9e89b1d6}, intrahash = {515c86cf13ad8cb86a9f5a79377fcb57}, journal = {Journal of Automated Reasoning}, keywords = {imported}, pages = {1--61}, publisher = {Springer}, timestamp = {2015-01-14T21:25:14.000+0100}, title = {The incredible elk}, year = 2013 }