The Limits of Horn Logic Programs.

Shilong Ma, Yuefei Sui, Ke Xu

Browse the full ICLP paper archive.