Halting Problem of One Binary Horn Clause id Undecidable.
Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/DevienneLR92 ↗
Browse the full ICLP paper archive.