doc-src/Ref/ref.bbl
changeset 104 d8205bb279a7
child 178 afbb13cb34ca
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Ref/ref.bbl	Wed Nov 10 05:00:57 1993 +0100
     1.3 @@ -0,0 +1,25 @@
     1.4 +\begin{thebibliography}{1}
     1.5 +
     1.6 +\bibitem{charniak80}
     1.7 +E.~Charniak, C.~K. Riesbeck, and D.~V. McDermott.
     1.8 +\newblock {\em Artificial Intelligence Programming}.
     1.9 +\newblock Lawrence Erlbaum Associates, 1980.
    1.10 +
    1.11 +\bibitem{debruijn72}
    1.12 +N.~G. de~Bruijn.
    1.13 +\newblock Lambda calculus notation with nameless dummies, a tool for automatic
    1.14 +  formula manipulation, with application to the {Church-Rosser Theorem}.
    1.15 +\newblock {\em Indagationes Mathematicae}, 34:381--392, 1972.
    1.16 +
    1.17 +\bibitem{paulson91}
    1.18 +Lawrence~C. Paulson.
    1.19 +\newblock {\em {ML} for the Working Programmer}.
    1.20 +\newblock Cambridge University Press, 1991.
    1.21 +
    1.22 +\bibitem{pelletier86}
    1.23 +F.~J. Pelletier.
    1.24 +\newblock Seventy-five problems for testing automatic theorem provers.
    1.25 +\newblock {\em Journal of Automated Reasoning}, 2:191--216, 1986.
    1.26 +\newblock Errata, JAR 4 (1988), 235--236.
    1.27 +
    1.28 +\end{thebibliography}