@article {DBLP:journals/jlp/MancarellaMP88, title = {Complete Logic Programs with Domain-Closure Axiom}, journal = {J. Log. Program.}, volume = {5}, number = {3}, year = {1988}, pages = {263-276}, author = {Paolo Mancarella and Simone Martini and Dino Pedreschi} }