W. W. Bledsoe. A New Mehtod for Proving Certain Presburger Formules. In IJCAI. pages 15-21, 1975.
@inproceedings{Bledcoe75,
title = {A New Mehtod for Proving Certain Presburger Formules},
author = {W. W. Bledsoe},
year = {1975},
researchr = {https://researchr.org/publication/Bledcoe75},
cites = {0},
citedby = {0},
pages = {15-21},
booktitle = {IJCAI},
}