Logic programs as specifications in the inductive verification of logic programs

Marco Comini, Roberta Gori, Giorgio Levi. Logic programs as specifications in the inductive verification of logic programs. Electronic Notes in Theoretical Computer Science, 48:131-146, 2001. [doi]

No reviews for this publication, yet.