An algorithm for finding canonical sets of ground rewrite rules in polynomial time
Gallier, Jean, Narendran, Paliath, Plaisted, David, Raatz, Stan, Snyder, WayneVolume:
40
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/138027.138032
Date:
January, 1993
File:
PDF, 908 KB
english, 1993