Bottom-Up Compuation of Perfect Models for Disjunctive Theories

José Alberto Fernández, Jack Minker. Bottom-Up Compuation of Perfect Models for Disjunctive Theories. Journal of Logic and Algebraic Programming, 25(1):33-51, 1995.

Abstract

Abstract is missing.