Proceeding on rewriting techniques and applications - Dershowtiz N Ed.; International conference on rewriting techniques and applications (1989 : North Carolina) (Berlin Springer-Verlag, 1989)
Keywords: Computer science