Alan Josephson;Nachum Dershowtiz
-;-
Logical debugging
Journal of Symbolic Computation - Special issue on automatic programming
Lazy narrowing with simplification
Computer Languages