(*<*) theory Paper imports "../Lexer" "../Simplifying" "../Positions" "../SizeBound4" "HOL-Library.LaTeXsugar" begin (*>*) text {* \cite{AusafDyckhoffUrban2016} %%\bibliographystyle{plain} \bibliography{root} *} (*<*) end (*>*)