@InProceedings{Nip08, Author = "Nipkow, T.", Year = "2008", Title = "{Linear Quantifier Elimination}", Editor = "Baumgartner, P. and Armando, A. and Dowek, G.", BookTitle = "{Proceedings of the 4th International Joint Conference on Automated Reasoning}", Place = "Sydney, Australia", Series = "Lecture Notes in Artificial Intelligence", Number = "5195", Pages = "18-33", Publisher = "Springer-Verlag", Comment = "TPTPRef" }