Equational reasoning via partial re (2000)

by H Geuvers, F Wiedijk, J Zwanenburg
Venue:in Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Springer LNCS 1869