John Greenwood Stell

• Categorical aspects of unification and rewriting