Bernard Malfon
-
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming