A Program for Generating and Analyzing Term Rewriting Systems (1984)

by R Forgaard