DBLP Record 'conf/slp/DevienneLR93'

BibTeX

@inproceedings{DBLP:conf/slp/DevienneLR93,
  author    = {Philippe Devienne and
               Patrick Leb{\`e}gue and
               Jean-Christophe Routier},
  title     = {The Emptiness Problem of One Binary Recursive Horn Clause
               is Undecidable},
  booktitle = {ILPS},
  year      = {1993},
  pages     = {250-265},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}