Bottom-up computation of perfect models for disjunctive theories
Title | Bottom-up computation of perfect models for disjunctive theories |
Publication Type | Journal Articles |
Year of Publication | 1995 |
Authors | Fernández JA, Minker J |
Journal | The Journal of logic programming |
Volume | 25 |
Issue | 1 |
Pagination | 33 - 51 |
Date Published | 1995/// |