Model Generation and State Generation for Disjunctive Logic Programs

Dietmar Seipel, Jack Minker, Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. Journal of Logic and Algebraic Programming, 32(1):49-69, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.