Comorphism-based grothendieck logics (2002)

by T Mossakowski
Venue:In MFCS