Jouko A. Väänänen Boban Velickovic Games played on partial isomorphisms. 19-30 2004 43 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s00153-003-0171-5 db/journals/aml/aml43.html#VaananenV04