TY - JOUR T1 - Logic knowledge bases with two default rules JF - Annals of Mathematics and Artificial Intelligence Y1 - 1998 A1 - Ruiz,C. A1 - Minker, Jack VL - 22 CP - 3 ER -