Halting Problem of One Binary Horn Clause is Undecidable.

Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier

Browse the full STACS paper archive.