"A New Meta-complexity Theorem for Bottom-Up Logic Programs."

Harald Ganzinger, David A. McAllester (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics