The Limits of Horn Logic Programs

Shilong Ma, Yuefei Sui, Ke Xu. The Limits of Horn Logic Programs. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Volume 2401 of Lecture Notes in Computer Science, pages 467, Springer, 2002. [doi]


Abstract is missing.