Algorithmic program debugging
Ehud Yehuda Shapiro
Third International Conference on Logic Programming
