The use of proof planning critics to diagnose errors in the base cases of recursive programs (2004)

by L A Dennis
Venue:IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, NonProvability