Defining functions on equivalence classes (0)

by Lawrence C Paulson
Venue:ACM Transactions on Computational Logic