Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., & McAllester, D. (2001). A new meta-complexity theorem for bottom-up logic programs. In R. Goré, A. Leitsch, & T. Nipkow (Eds.), Automated reasoning: First International Joint Conference, IJCAR 2001 (pp. 514-528). Berlin, Germany: Springer.