"Descendants and Head Normalization of Higher-Order Rewrite Systems."

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics