Complete Logic Programs with Domain-Closure Axiom
| Title | Complete Logic Programs with Domain-Closure Axiom |
| Publication Type | Journal Article |
| Year of Publication | 1988 |
| Authors | Mancarella, P, Martini, S, Pedreschi, D |
| Journal | J. Log. Program. |
| Volume | 5 |
| Issue | 3 |
| Pagination | 263-276 |