BibTeX:
@inproceedings{Nipkow-IJCAR08,author={Tobias Nipkow}, title={Linear Quantifier Elimination}, booktitle={Automated Reasoning (IJCAR 2008)}, editor={A. Armando and P. Baumgartner and G. Dowek},publisher={Springer}, series={LNCS},volume={5195},pages={18-33},year=2008}Isabelle theories in the Archive of Formal Proofs
This paper has been superseded by an extended journal version.