Paolo Mancarella Simone Martini Dino Pedreschi Complete Logic Programs with Domain-Closure Axiom. 263-276 1988 5 J. Log. Program. 3 db/journals/jlp/jlp5.html#MancarellaMP88 http://dx.doi.org/10.1016/0743-1066(88)90013-1