Pruning Operators for Disjunctive Logic Programming Systems

Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone. Pruning Operators for Disjunctive Logic Programming Systems. Fundamenta Informaticae, 71(2-3):183-214, 2006. [doi]

Abstract

Abstract is missing.