Third Special Issue on Techniques for Automated Termination Proofs

Journal of Automated Reasoning - Tập 37 - Trang 153-154 - 2006
Jürgen Giesl1, Deepak Kapur1
1Fachbereich Informatik, RWTH Aachen, Aachen, Germany