Axiomatizing complex algebras by games - Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde (Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 2000)