Proving Correctness and Completeness of Normal Programs - A Declarative Approach.

Wlodzimierz Drabent, Miroslawa Milkowska

Browse the full ICLP paper archive.