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.

Abstract

Abstract is missing.