Paolo Mancarella, Simone Martini, Dino Pedreschi. Complete Logic Programs with Domain-Closure Axiom. Journal of Logic and Algebraic Programming, 5(3):263-276, 1988.
@article{MancarellaMP88,
title = {Complete Logic Programs with Domain-Closure Axiom},
author = {Paolo Mancarella and Simone Martini and Dino Pedreschi},
year = {1988},
tags = {completeness, logic programming, logic},
researchr = {https://researchr.org/publication/MancarellaMP88},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {5},
number = {3},
pages = {263-276},
}