James R. Slagle, Lewis M. Norton. Automated Theorem-Proving for the Theories of Partial and Total Ordering. Comput. J., 18(1):49-54, 1975.
@article{SlagleN75,
title = {Automated Theorem-Proving for the Theories of Partial and Total Ordering},
author = {James R. Slagle and Lewis M. Norton},
year = {1975},
researchr = {https://researchr.org/publication/SlagleN75},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {18},
number = {1},
pages = {49-54},
}