Top-down zooming diagnosis of logic programs - Maeji, Machi; Kanamori, Tadashi (1987)