Jack Minker Donald Perlis Computing Protected Circumscription. 235-249 1985 2 J. Log. Program. 4 db/journals/jlp/jlp2.html#MinkerP85 http://dx.doi.org/10.1016/S0743-1066(85)80002-9