@article{journals/ao/NeuhausH12,
  added-at = {2016-08-24T16:03:29.000+0200},
  author = {Neuhaus, Fabian and Hayes, Pat},
  biburl = {https://www.bibsonomy.org/bibtex/2031bc312b7ff8c481fed3d3a534ca64a/fneuhaus},
  interhash = {f3d9e0fd8e353c48c9b90438877b0108},
  intrahash = {031bc312b7ff8c481fed3d3a534ca64a},
  journal = {Applied Ontology},
  keywords = {myown},
  number = 2,
  pages = {211-231},
  publisher = {IOS Press},
  timestamp = {2016-08-24T16:03:29.000+0200},
  title = {Common Logic and the Horatio problem},
  url = {http://dblp.uni-trier.de/db/journals/ao/ao7.html#NeuhausH12},
  volume = 7,
  year = 2012
}