Prelogical relations (2002)

by F Honsell, D Sannella
Venue:Information and Computation