@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}}