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

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