Sergei N. Artëmov Volker Diekert Dima Grigoriev 99 2008 43 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-9063-0 db/journals/mst/mst43.html#ArtemovDG08