@InCollection{Cooper72,author="D.C. Cooper",
title="Theorem proving in arithmetic without multiplication",
booktitle="Machine Intelligence",volume=7,editor="B. Meltzer and D. Michie",
publisher="Edinburgh University Press",year=1972,pages="91--100"}

@article{FerranteR-SIAM75,author={Jeanne Ferrante and Charles Rackoff},title=
{A Decision Procedure for the First Order Theory of Real Addition with Order},
journal={SIAM J. Computing},volume=4,year=1975,pages={69-76}}

@article{LoosW93,author="R{\"u}diger Loos and Volker Weispfenning",
title="Applying Linear Quantifier Elimination",journal="The Computer Journal",
volume=36,pages="450--462",year=1993}

@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},
year=2008,note={Proc. Marktoberdorf Summer School 2007, to appear}}

@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,
note={\url{www.in.tum.de/~nipkow/pubs/ijcar08.html}}}
