Deciding equality in the constructor theory (2006)

by P Corbineau
Venue:TYPES, volume 4502 of LNCS