George E. Collins. The Tarski decision procedure. In Proceedings of the 11th ACM national meeting, ACM 1956, USA. pages 162-164, ACM, 1956. [doi]
@inproceedings{Collins56,
title = {The Tarski decision procedure},
author = {George E. Collins},
year = {1956},
doi = {10.1145/800258.808975},
url = {https://doi.org/10.1145/800258.808975},
researchr = {https://researchr.org/publication/Collins56},
cites = {0},
citedby = {0},
pages = {162-164},
booktitle = {Proceedings of the 11th ACM national meeting, ACM 1956, USA},
publisher = {ACM},
isbn = {978-1-4503-7922-9},
}