Equational problems and disuni cation (1989)

by H Comon, P Lescanne
Venue:J. of Symbolic Computation