BibTeX:
@inproceedings{Nipkow-MOD2007,author={Tobias Nipkow}, title={Reflecting Quantifier Elimination for Linear Arithmetic}, booktitle={Formal Logical Methods for System Security and Correctness}, publisher={IOS Press},editor={O. Grumberg and T. Nipkow and C. Pfaller}, pages = {245--266},year=2008}Isabelle theories in the Archive of Formal Proofs