@Article{upins,

author = {R\u{a}zvan Diaconescu},

title = {Institution-independent Ultraproducts},

journal = {Fundamenta Informatic{\ae}},

volume = 55,

number = {3-4},

pages = {321--348},

year = 2003

}