@inproceedings{DevienneLebegueRoutier1993,
  author    = {{Philippe Devienne, Patrick Lebègue, Jean-Chrisophe Routier}},
  title     = {{Halting Problem of One Binary Horn Clause is Undecidable}},
  booktitle = {{Proceedings of STACS 1993}},
  publisher = {{Springer--Verlag}},
  year      = {{1993}},
  pages     = {{48--57}},
  note      = {{MR 95e:03114}},
}