Order-sorted rewriting (Acad. Press, 1998)
Literaturangaben. - In: Journal of symbolic computation ; 25 (1998),4 : Special issue