James R. Slagle, Lewis M. Norton. Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules. Communications of the ACM, 16(11):682-688, 1973.
No references recorded for this publication.
No citations of this publication recorded.