A program for generating and analyzing term rewriting systems (1984)

by R Forgaard