Constrained equational reasoning (1989)

by C Kirchner, H Kirchner
Venue:In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation