%0 Journal Article %J J. Log. Program. %D 1988 %T Complete Logic Programs with Domain-Closure Axiom %A Paolo Mancarella %A Simone Martini %A Dino Pedreschi %B J. Log. Program. %V 5 %P 263-276 %G eng