Updated references

--- a/src/LK/README.html	Wed Oct 09 13:36:17 1996 +0200
+++ b/src/LK/README.html	Wed Oct 09 13:37:00 1996 +0200
@@ -22,8 +22,8 @@
 Useful references on First-Order Logic:
 
 <UL>
-<LI>Jean Gallier,<BR>
-    Logic for Computer Science (Harper&Row, 1986)
+<LI>Steve Reeves and Michael Clarke,<BR>
+    Logic for Computer Science (Addison-Wesley, 1990)
 <LI>G. Takeuti,<BR>
     Proof Theory (North Holland, 1987)
 </UL>