Weak Completion Theory for Non-Horn Programs.

Jorge Lobo, Jack Minker, Arcot Rajasekar

Browse the full ICLP paper archive.