Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. In ILPS. pages 250-265, 1993.
No references recorded for this publication.
No citations of this publication recorded.