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