Rule Systems and Well-Orderings.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/MarekNR92a ↗
Browse the full ICLP paper archive.