Axiomatizing complex algebras by games - Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde (Inst. for Logic, Language and Computation, 2000)