Fatma Bouali Stéphane Loiseau Marie-Christine Rousset Merging Test and Verification for Rule Base Debugging. 166-169 1996 ICTAI db/conf/ictai/ictai1996.html#BoualiLR96