Guiding equational proofs by attribute functions (1993)

by Jurgen Cleve, Dieter Hutter
Venue:Fachbereich Informatik, Universitat des Saarlandes, Postfach 1150, 66041 Saarbrucken