Hirsch, R.; Hodkinson, I. Games in Algebraic Logic. Proceedings of the AC 1997, 7-12.