A theory of debugging plans and interpretations (1988)

by R Simmons
Venue:In Proc. of AAAI