@Article{ks,

author = {R\u{a}zvan Diaconescu and Petros Stefaneas},

title = {Ultraproducts and Possible Worlds Semantics in Institutions},

journal = {Theoretical Computer Science},

year = 2007,

volume = 379,

number = 1,

pages = {210--230}}