Skip to content

Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.

Jrgen Dix, Martin Mller

VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming

Browse the full ICLP paper archive.