
diff -r b8de98c2c29c -r 1f00494e37a5 doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Fri Dec 08 11:57:02 1995 +0100
+++ b/doc-src/Ref/ref.bbl	Fri Dec 08 13:22:55 1995 +0100
@@ -26,8 +26,7 @@
 Ursula Martin and Tobias Nipkow.
 \newblock Ordered rewriting and confluence.
 \newblock In Mark~E. Stickel, editor, {\em 10th International Conference on
-  Automated Deduction}, pages 366--380. Springer, 1990.
-\newblock LNAI 449.
+  Automated Deduction}, LNAI 449, pages 366--380. Springer, 1990.
 
 \bibitem{Nipkow-LICS-93}
 Tobias Nipkow.




