References
- Butrick , R. , Hoskins , D. and Scott , K. The Logic of N-tuples , Ohio University Research Grant . OUR 385
- Knuth , D.E. , Morris , J.H. and Pratt , V.R. 1977 . Fast pattern matching in strings . SIAM J. Comput , 6 ( 2 ) : 323 – 350 .
- Mccarthy , J. “ A basis for a mathematical theory of computation ” . In Computer Programming and Formal Systems , Edited by: Braffort , . Amsterdam : North Holland .
- Mendelson E. Introduction to Mathematical Logic, D. Van Nostrand 1964 162
- Moore , J.S. Computational Logic: Structure Sharing and Proof of Program Properties , Edinburgh University . Part II, DC. Memo No. 68, School of Artificial Intelligence
- Newell , A. , Shaw , J.L. and Simon , H.A. The Logic Theory Machine . IRE Transactions on Information Theory , IT2 ( 3 )
- Schoenfield , S. 1967 . Mathematical Logic , 246 Toronto : Addison-Wesley .