Decidable Theories of Cayley-Graphs.

Dietrich Kuske, Markus Lohrey

Browse the full STACS paper archive.