\input{RegLangs.tex}
\input{Spec.tex}
\input{Lexer.tex}
\input{Simplifying.tex}
\input{Sulzmann.tex}
\input{Positions.tex}
\input{SizeBound.tex}
\input{Paper.tex}