P.  Mancarella, Martini, S., and Pedreschi, D., ?Complete Logic Programs with Domain-Closure Axiom?, J. Log. Program., vol. 5, pp. 263-276, 1988.