Constraint Solving on Terms [chapter]

Hubert Comon, Claude Kirchner
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-45406-3_2 fatcat:jup3wgnmznbi5fm73ygtgfbobe