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.
No references recorded for this publication.
No citations of this publication recorded.