Kazuhiro Fuchi;Koichi Furukawa
-;-
Logical debugging
Journal of Symbolic Computation - Special issue on automatic programming