Combination of Unification Algorithms (1986)

by A Herold
Venue:Proc. of 8th International Conference on Automated Deduction, Vol. 230 of LNCS