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