Order-sorted equational computation (1989)

by G SMOLKA, W Nu’rr, J A GOCXJEN, J MESEGUER
Venue:In Resolution of Equations in Algebraic Structures