Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A., & Ganzinger, H. (2001). Automated Complexity Analysis Based on Ordered Resolution. Journal of the ACM, 48(1), 70-109.