James R. Slagle Lewis M. Norton Automated Theorem-Proving for the Theories of Partial and Total Ordering. 49-54 1975 18 Comput. J. 1 db/journals/cj/cj18.html#SlagleN75