Steffen van Bakel, Sjaak Smetsers, Simon Brock. Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. In Jean-Claude Raoult, editor, CAAP 92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 581 of Lecture Notes in Computer Science, pages 300-321, Springer, 1992.
Abstract is missing.