Complete Logic Programs with Domain-Closure Axiom

Paolo Mancarella, Simone Martini, Dino Pedreschi. Complete Logic Programs with Domain-Closure Axiom. Journal of Logic and Algebraic Programming, 5(3):263-276, 1988.

Abstract

Abstract is missing.