"Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems."

Steffen van Bakel, Sjaak Smetsers, Simon Brock (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics