Complete Logic Programs with Domain-Closure Axiom

Cite this paper

@article{Mancarella1988CompleteLP, title={Complete Logic Programs with Domain-Closure Axiom}, author={Paolo Mancarella and Simone Martini and Dino Pedreschi}, journal={J. Log. Program.}, year={1988}, volume={5}, pages={263-276} }