External Links

    Journal: Journal of Automated Reasoning

    Volume 37, Issue 3

    153 -- 154Jürgen Giesl, Deepak Kapur. Third Special Issue on Techniques for Automated Termination Proofs
    155 -- 203Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke. Mechanizing and Improving Dependency Pairs
    205 -- 229Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama. Elimination Transformations for Associative-Commutative Rewriting Systems
    runs on