"Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written fo ..."
"Constructs for sets, quantifiers, and rewrite rules in Lisp. Technical Report
UIUCDCS-R-84-1176, University of Illinois at UrbanaChampaign Department of
Computer Science, June 1984. [23] J. A. Robinson. A machine-oriented logic
based on the resolution principle. Journal of the ACM, 12(1):23–41, 1965. [24]
Michael Sperber, R. Kent Dybvig, Matthew Flatt, and Anton van Straaten (eds.).
Revised6 report on the algorithmic language Schem ..."