Rewriting systems and applications [ ... articles selected from the Sixth International Conference on Rewriting Systems and Applications, held on April 5 - 7, 1995, ... University of Kaiserslautern, Germany ] (Elsevier, 1998)
Literaturangaben. - In: Theoretical computer science ; 192 (1998),1