Complexity of Computing with Extended Propositional Logic Programs.
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/MarekRT92 ↗
Browse the full ICLP paper archive.