"Termination and normalisation under strategy Proofs in ELAN."

Hélène Kirchner, Isabelle Gnaedig (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics