TY - JOUR T1 - Computing protected circumscription JF - The Journal of Logic Programming Y1 - 1985 A1 - Minker, Jack A1 - Perlis, Don VL - 2 CP - 4 ER -