Bottom-up computation of perfect models for disjunctive theories

TitleBottom-up computation of perfect models for disjunctive theories
Publication TypeJournal Articles
Year of Publication1995
AuthorsFern√°ndez JA, Minker J
JournalThe Journal of logic programming
Volume25
Issue1
Pagination33 - 51
Date Published1995///