Full Citation:
Simone Bova, Barnaby Martin. First-Order Queries on Finite Abelian Groups. 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pages 41-59, 2015.