A Survey of Complexity and Undecidability Results in Logic Programming.
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/Schlipf92 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.