Model Generation and State Generation for Disjunctive Logic Programs.

Dietmar Seipel Jack Minker Carolina Ruiz Model Generation and State Generation for Disjunctive Logic Programs. 49-69 1997 32 J. Log. Program. 1 db/journals/jlp/jlp32.html#SeipelMR97