Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-95-2-006.pdf (beliebiger Volltext), 50MB
Basin, D., & Ganzinger, H.(1995). Automated complexity analysis based on ordered resolution (MPI-I-95-2-006). Saarbrücken: Max-Planck-Institut für Informatik.