James C. King, Robert W. Floyd. An Interpretation Oriented Theorem Prover over Integers. In Conference Record of Second Annual ACM Symposium on Theory of Computing, 4-6 May 1970, Northampton, Massachusetts, USA. pages 169-179, ACM, 1970.
Abstract is missing.