%0 Conference Paper %1 vinaykchaudhrimichaelawessel2013kbbio101 %A Chaudhri, Vinay K. %A Wessel, Michael A. %A Heymans, Stijn %B In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction %C Lake Placid, New York, USA %D 2013 %K 2013 myown refereedpub %T KB_Bio_101: A Challenge for TPTP First-Order Reasoners %U http://stijnheymans.net/pubs/kinar2013.pdf

@inproceedings{vinaykchaudhrimichaelawessel2013kbbio101, added-at = {2013-05-10T17:23:13.000+0200}, address = {Lake Placid, New York, USA}, author = {Chaudhri, Vinay K. and Wessel, Michael A. and Heymans, Stijn}, biburl = {https://www.bibsonomy.org/bibtex/291928ed9ecf1cc7b64e73e8940d87d9c/stijn.heymans}, booktitle = {In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction}, interhash = {8c7bc689519c4f397f5aa24c036cb70c}, intrahash = {91928ed9ecf1cc7b64e73e8940d87d9c}, keywords = {2013 myown refereedpub}, month = {June}, timestamp = {2013-05-10T17:28:20.000+0200}, title = {KB_Bio_101: A Challenge for TPTP First-Order Reasoners}, url = {http://stijnheymans.net/pubs/kinar2013.pdf}, year = 2013 }