doc-src/Logics/logics.bbl
changeset 1512 ce37c64244c0
parent 1444 23ceb1dc9755
child 1536 efbc887dfefb
     1.1 --- a/doc-src/Logics/logics.bbl	Fri Feb 16 17:24:51 1996 +0100
     1.2 +++ b/doc-src/Logics/logics.bbl	Fri Feb 16 18:00:47 1996 +0100
     1.3 @@ -173,8 +173,9 @@
     1.4  \bibitem{paulson-CADE}
     1.5  Lawrence~C. Paulson.
     1.6  \newblock A fixedpoint approach to implementing (co)inductive definitions.
     1.7 -\newblock In Alan Bundy, editor, {\em 12th International Conference on
     1.8 -  Automated Deduction}, LNAI 814, pages 148--161. Springer, 1994.
     1.9 +\newblock In Alan Bundy, editor, {\em Automated Deduction --- {CADE}-12}, LNAI
    1.10 +  814, pages 148--161. Springer, 1994.
    1.11 +\newblock 12th international conference.
    1.12  
    1.13  \bibitem{paulson-set-II}
    1.14  Lawrence~C. Paulson.