Least sorts in order-sorted term rewriting (1989)

by P Watson, J Dick