References
Guy L. Steele Jr., Common LISP: The Language, Digital Press, 1984.
M. Kaufmann, “A User's Manual for RCL”, Internal Note 157, Computational Logic, Inc., October 1989.
R. S. Boyer and J S. Moore, A Computational Logic Handbook, Academic Press, Boston, 1988.
M. Kaufmann, “A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover”, Technical Report 19, Computational Logic, Inc., May 1988.
W. Bevier, “A Library for Hardware Verification”, Internal Note 57, Computational Logic, Inc., June 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaufmann, M. (1990). RCL: A lisp verification system. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_129
Download citation
DOI: https://doi.org/10.1007/3-540-52885-7_129
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52885-2
Online ISBN: 978-3-540-47171-4
eBook Packages: Springer Book Archive