Proof Methods for Partial Correctness of Definite Programs | part of A Grammatical View of Logic Programming | MIT Press books | IEEE Xplore