1.1 --- a/doc-src/manual.bib	Wed Mar 07 17:19:16 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Mar 07 18:35:27 2001 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  @string{AP="Academic Press"}
     1.5  @string{CUP="Cambridge University Press"}
     1.6  @string{IEEE="{\sc ieee} Computer Society Press"}
     1.7 -@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
     1.8 +@string{LNCS="Lecture Notes in Computer Science"}
     1.9  @string{MIT="MIT Press"}
    1.10  @string{NH="North-Holland"}
    1.11  @string{Prentice="Prentice-Hall"}
    1.12 @@ -14,19 +14,19 @@
    1.13  @string{Springer="Springer-Verlag"}
    1.14  
    1.15  %institutions
    1.16 -@string{CUCL="Comp. Lab., Univ. Camb."}
    1.17 -@string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"}
    1.18 +@string{CUCL="Computer Laboratory, University of Cambridge"}
    1.19 +@string{Edinburgh="Department of Computer Science, University of Edinburgh"}
    1.20  
    1.21  %journals
    1.22  @string{AI="Artificial Intelligence"}
    1.23 -@string{FAC="Formal Aspects Comput."}
    1.24 -@string{JAR="J. Auto. Reas."}
    1.25 -@string{JCS="J. Comput. Secur."}
    1.26 -@string{JFP="J. Func. Prog."}
    1.27 -@string{JLC="J. Logic and Comput."}
    1.28 -@string{JLP="J. Logic Prog."}
    1.29 -@string{JSC="J. Symb. Comput."}
    1.30 -@string{JSL="J. Symb. Logic"}
    1.31 +@string{FAC="Formal Aspects of Computing"}
    1.32 +@string{JAR="Journal of Automated Reasoning"}
    1.33 +@string{JCS="Journal of Computer Security"}
    1.34 +@string{JFP="Journal of Functional Programming"}
    1.35 +@string{JLC="Journal of Logic and Computation"}
    1.36 +@string{JLP="Journal of Logic Programming"}
    1.37 +@string{JSC="Journal of Symbolic Computation"}
    1.38 +@string{JSL="Journal of Symbolic Logic"}
    1.39  @string{SIGPLAN="{SIGPLAN} Notices"}
    1.40  
    1.41  %conferences