@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}
}
