Etienne Grandjean Frédéric Olive Monadic Logical Definability of Nondeterministic Linear Time. 54-97 1998 7 Computational Complexity 1 db/journals/cc/cc7.html#GrandjeanO98