Combination of Unification algorithms in Equational Theories

Shelfclass_id	4.B.3
Sortkey	HEROLD, ALEXANDER
Authors	Alexander Herold
Title	Combination of Unification algorithms in Equational Theories
Languages	eng
Record date	20060713
Location	1987