David Alan Plaisted
Jean Gallier, Paliath Narendran, David Plaisted, Stan Raatz, and Wayne Snyder.
An algorithm for finding canonical sets of ground rewrite rules in polynomial time.
Journal of the ACM
, 40(1):1-16, January 1993.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database