Rewriting system for categorical combinators with multiple argumentsHirofumi YokouchiTeruo Hikita1990SIAM Journal on Computing