--- a/doc-src/Ref/ref.bbl Tue Jan 24 12:17:49 1995 +0100
+++ b/doc-src/Ref/ref.bbl Wed Jan 25 04:00:27 1995 +0100
@@ -24,9 +24,9 @@
\bibitem{martin-nipkow}
Ursula Martin and Tobias Nipkow.
\newblock Ordered rewriting and confluence.
-\newblock In M.~E. Stickel, editor, {\em 10th International Conference on
+\newblock In Mark~E. Stickel, editor, {\em 10th International Conference on
Automated Deduction}, pages 366--380. Springer, 1990.
-\newblock LNCS 449.
+\newblock LNAI 449.
\bibitem{Nipkow-LICS-93}
Tobias Nipkow.