Univ.-Prof. Dr. Aart Middeldorp   

Maximal Termination

Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, and Harald Zankl
Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008), Lecture Notes in Computer Science 5117, pp. 110 – 125, 2008

abstract   bibtex   pdf (preprint)   doi:10.1007/978-3-540-70590-1_8  
© Springer