Equational reasoning via partial reflection (2000)

by H Geuvers, F Wiedijk, J Zwanenburg
Venue:of Lecture Notes in Computer Science