Margarita V. Korovina Oleg V. Kudinov The Uniformity Principle for Sigma-definability. 159-174 2009 19 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exn033 db/journals/logcom/logcom19.html#KorovinaK09