00443nas a2200133 4500008004100000245005400041210005300095300001200148490000600160100002200166700002000188700002000208856008100228 1988 eng d00aComplete Logic Programs with Domain-Closure Axiom0 aComplete Logic Programs with DomainClosure Axiom a263-2760 v51 aMancarella, Paolo1 aMartini, Simone1 aPedreschi, Dino uhttps://kdd.isti.cnr.it/content/complete-logic-programs-domain-closure-axiom