A. Dawar and B. Holm. Pebble games with algebraic rules. In Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP), 2012. Slides for my talk at ICALP.
A. Dawar, M. Grohe, B. Holm, and B. Laubner. Logics with rank operators. In Proceedings of the 23rd IEEE Symposium on Logic in Computer Science (LICS), 2009.
Book chapters & extended abstracts
A. Dawar and B. Holm. Pebble games for logics with counting and rank. In Studies in Weak Arithmetics, CSLI Lecture Notes, CSLI Publications, 2010.
A. Dawar and B. Holm. Pebble games for rank logics (extended abstract). In proceedings of Logical Approaches to Barriers in Computing and Complexity, 2010.