# HG changeset patch
# User lcp
# Date 797851350 -7200
# Node ID f3fabffd927a5a0dd8ce8f2caf7d8f5880862221
# Parent  a19fbe807f91817a59483e3da0be011440c24900
Updated CADE reference

diff -r a19fbe807f91 -r f3fabffd927a doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Fri Apr 14 11:20:53 1995 +0200
+++ b/doc-src/Logics/logics.bbl	Fri Apr 14 11:22:30 1995 +0200
@@ -193,7 +193,8 @@
 Lawrence~C. Paulson.
 \newblock A fixedpoint approach to implementing (co)inductive definitions.
 \newblock In Alan Bundy, editor, {\em 12th International Conference on
-  Automated Deduction}, volume 814, pages 148--161. Springer, 1994.
+  Automated Deduction}, pages 148--161. Springer, 1994.
+\newblock LNAI 814.
 
 \bibitem{paulson-COLOG}
 Lawrence~C. Paulson.