Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving (1992)

by Hubert Comon
Venue:J. Symbolic Computation
Citations:66 - 2 self