Saturated models in institutions

by Răzvan Diaconescu , Marius Petria
Venue:ARCHIVES FOR MATHEMATICAL LOGIC