Johannes Waldmann Proc. 13th Int. Conf. Rewriting Techniques & Applications (RTA 2002), Lecture Notes in Computer Science 2378, Sophie Tison, ed., Springer-Verlag, 2002, pp. 144–158
Cites:
