We investigate the relationship between the generalization of program completion defined in 1984 by Lloyd and Topor and the generalization of the stable model semantics introduced recently by Ferraris et al.

PDF

Theory and Practice of Logic Programming, Vol. 13, 4-5 (2013), pp. 503-515.

@article{ltc, title={Lloyd-Topor Completion and General Stable Models}, author={Vladimir Lifschitz and Fangkai Yang}, volume={13}, journal={Theory and Practice of Logic Programming}, number={4-5}, pages={503-515}, url="http://www.cs.utexas.edu/users/ai-lab?ltc", year={2013} }