Matthew M. Huntbach
-
Logical debugging
Journal of Symbolic Computation - Special issue on automatic programming
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning