Michel Sintzoff. Bounded-Horizon Success-Complete Restriction of Inference Programs. In ICLP. pages 139-150, 1984.
@inproceedings{Sintzoff84, title = {Bounded-Horizon Success-Complete Restriction of Inference Programs}, author = {Michel Sintzoff}, year = {1984}, tags = {completeness}, researchr = {https://researchr.org/publication/Sintzoff84}, cites = {0}, citedby = {0}, pages = {139-150}, booktitle = {ICLP}, }