Jaroslav Jeˇ zek
A note on nite sets of terms closed under subterms and unication
Comment.Math.Univ.Carolinae 37,3 (1996) 657-658.
Abstract: The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
Keywords: terms, unification
AMS Subject Classification: 08B05
1