%0 Journal Article
%T Direct twisted Galois stratification
%A Ivan Toma£¿i£¿
%J Mathematics
%D 2014
%I arXiv
%X We develop a primitive recursive quantifier elimination procedure for the theory ACFA.
%U http://arxiv.org/abs/1412.8066v1