Proof Transformations for Equational Theories (1990)

by T Nipkow
Venue:In: Proc. LICS. IEEE Computer Society