Top-down Zooming Diagnosis of Logic Programs. - Machi Ueno; Tadashi Kanamori (Software Science and Engineering, 1991)