Modular Properties of Term Rewriting Systems (1990)

by Aart Middeldorp