Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction

James J. Lu, Monica D. Barback, Lawrence J. Henschen. Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. Journal of Automated Reasoning, 10(3):345-370, 1993.

Abstract

Abstract is missing.