Bottom-Up Compuation of Perfect Models for Disjunctive Theories

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.