Proof method of partial correctness and weak completeness for normal logic programs

Gérard Ferrand, Pierre Deransart
1993 The Journal of Logic Programming  
doi:10.1016/0743-1066(93)90033-d fatcat:azn34bec5vce3nihagl2ic4bgq