Florent Jacquemard Christoph Meyer Christoph Weidenbach Unification in Extension of Shallow Equational Theories. 76-90 http://dx.doi.org/10.1007/BFb0052362 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#JacquemardMW98