Author:
Murray Neil V.,Rosenthal Erik
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Andrews, P.B. Refutations by matings. IEEE Transactions on Computers 25,8 (Aug. 1976), 801–807.
2. Andrews, P.B. Theorem proving via general matings. JACM 28,2 (April 1981), 193–214.
3. Bibel, W. On matrices with connections. JACM 28,4 (Oct. 1981), 633–645.
4. Bibel, W. A Strong Completeness Result for the Connection Graph Proof Procedure. Technical Report ATP-3-IV-80.
5. Chang, C.L. and Lee, R.C.T. Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1978.