An explicit Eta rewrite rule.

Daniel Briaud An explicit Eta rewrite rule. 94-108 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#Briaud95