Arnaud Durand Linear Time and the Power of One First-Order Universal Quantifier. 12-22 2002 178 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3027 db/journals/iandc/iandc178.html#Durand02