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.