Order sorted rewriting (Acad. Press, 1998)
Einzelaufnahme eines Zeitschr.-H.