Étienne Ailloud Arnaud Durand The Expressive Power of Bijections over Weakly Arithmetized Structures. 297-309 2006 39 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-005-1165-y db/journals/mst/mst39.html#AilloudD06