Boyer, Robert S.; Moore, J. Strother Proving theorems about Lisp functions. (English) Zbl 0338.68014 J. Assoc. Comput. Mach. 22, 129-144 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 25 Documents MSC: 68N01 General topics in the theory of software 68Q45 Formal languages and automata 68W30 Symbolic computation and algebraic computation 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) PDF BibTeX XML Cite \textit{R. S. Boyer} and \textit{J. S. Moore}, J. Assoc. Comput. Mach. 22, 129--144 (1975; Zbl 0338.68014) Full Text: DOI