Halting Problem of One Binary Horn Clause id Undecidable.

Published in: Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)