1. Akian, M., Gaubert, S., Guterman, A.: Tropical polyhedra are equivalent to mean payoff games. Int. Algebra Comput. 22(1), 43 (2012). 125001
2. Atserias, A., Maneva, E.: Mean-payoff games and propositional proofs. Inf. Comput. 209(4), 664–691 (2011). In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part I. LNCS, vol. 6198, pp. 102–113. Springer, Heidelberg (2010)
3. Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms and the constraint satisfaction problem. Logical Methods Comput. Sci. 8(1:07), 1–26 (2012)
4. Lecture Notes in Computer Science;M Bezem,2008
5. Lecture Notes in Computer Science;M Bodirsky,2009