@inproceedings{ilps1993-emptiness,
  title = {The emptiness problem of one binary Horn clause is undecidable},
  author = {Devienne, Philippe and Lebègue, Patrick and Routier, Jean-Christophe},
  booktitle = {Proceedings of 1993 International Symposium on Logic Programming (ILPS'93)},
  editor = {Miller, Dale},
  pages = {250-265},
  year = {1993},
  publisher = {MIT Press},
  isbn = {0262631520},
  conference = {ILPS1993 -- Vancouver (Canada) -- November 1993},
  pdf = {http://www.lifl.fr/SMAC/publications/pdf/ilps1993-emptiness.pdf},
  abstract = {No abstract},
  hal-id = {hal-00732005},
  x-genre = {conferenceInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {CA},
  x-town = {Vancouver},
  x-wontfill = {url},
  x-timestamp = {2012-09-13},
  x-missing = {url}
}