Howard Straubing Finite Models, Automata, and Circuit Complexity. 63-96 1996 conf/dimacs/1996 Descriptive Complexity and Finite Models db/conf/dimacs/dimacs1996.html#Straubing96