José Alberto Fernández, Jack Minker. Bottom-Up Compuation of Perfect Models for Disjunctive Theories. Journal of Logic and Algebraic Programming, 25(1):33-51, 1995.
No references recorded for this publication.
No citations of this publication recorded.