@inproceedings{72415ad8bff7463a9bacc78505c912bf,
title = "An improved projection operation for cylindrical algebraic decomposition",
author = "Scott McCallum",
year = "1985",
month = jan,
day = "1",
doi = "10.1007/3-540-15984-3_277",
language = "English",
isbn = "9783540159841",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-VDI-Verlag GmbH & Co. KG",
pages = "277--278",
editor = "Caviness, {Bob F.}",
booktitle = "EUROCAL 1985 - European Conference on Computer Algebra, Proceedings",
address = "Germany",
note = "European Conference on Computer Algebra, EUROCAL 1985 ; Conference date: 01-04-1985 Through 03-04-1985",
}