Dietrich Kuske, Markus Lohrey. Decidable Theories of Cayley-Graphs. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 463-474, Springer, 2003. [doi]
Abstract is missing.