Steffen van Bakel Rank 2 Intersection Type Assignment in Term Rewriting Systems. 141-166 1996 26 Fundam. Inform. 2 db/journals/fuin/fuin26.html#Bakel96