Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.

Grard Ferrand, Pierre Deransart

Browse the full ICLP paper archive.