Formal Verification of Logic Programs: Foundations and Implementation.

Robert F. Strk

Browse the full LFCS paper archive.