@InProceedings{ilps1993-emptiness,
  x-todo =                   {conference,x-country},
  genre =                    {conferenceInternationale},
  author =                   {Devienne, Philippe and Lebègue, Patrick and Routier, Jean-Christophe},
  title =                    {The emptiness problem of one binary Horn clause is undecidable},
  booktitle =                {Proceedings of 1993 International Symposium on Logic Programming (ILPS'93)},
  pages =                    {250-265},
  year =                     {1993},
  editor =                   {Miller, Dale},
  publisher =                {MIT Press},
  conference =               {},
  pdf =                      {http://www.lifl.fr/SMAC/publications/pdf/ilps1993-emptiness.pdf},
  x-language =               {EN},
  x-international-audience = {Yes},
  x-country =                {},
  abstract =                 {No abstract}
}