Termination of term rewriting, from many-sorted to one-sorted - Zantema, H. (Unknown Publisher, 1991)
Keywords: Wiskunde en Informatica (WIIN); Ordered by external client