![]() |
@inproceedings{DBLP:conf/iclp/DevienneLR92,
author = {Philippe Devienne and
Patrick Leb{\`e}gue and
Jean-Christophe Routier},
title = {Halting Problem of One Binary Horn Clause id Undecidable},
booktitle = {Structural Complexity and Recursion-theoretic methods in
Logic-Programming},
year = {1992},
pages = {5-14},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)