Loop Formulas for Disjunctive Logic Programs.

Joohyung Lee, Vladimir Lifschitz

Browse the full ICLP paper archive.