Forward versus Backward Verification of Logic Programs.

Andy King, Lunjin Lu

Browse the full ICLP paper archive.