From Termination-Portal.org

Aart Middeldorp

• Professor in the Department of Institute of Computer Science (University of Innsbruck, Austria)
• home page: http://cl-informatik.uibk.ac.at/~ami/
• email: mailto:aart.middeldorp_at_uibk.ac.at