Complete Sets of Transformations for Unification Problems (1991)

by P Johann