110
click to vote
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...