%% SERIES and PUBLISHERS


@string{lnai="Lecture Notes in Artificial Intelligence"}
@string{lncs="Lecture Notes in Computer Science"}
@string{lnm="Lectures Notes in Mathematics"}
@string{springer="Springer-Verlag"}
@string{entcs="Electronic Notes in Theoretical Computer Science"}
@string{nh="North-Holland Publishing"}
@string{oup="Oxford University Press"}
@string{cup="Cambridge University Press"}
@string{elsevier="Elsevier  Publishing"}
@string{PH="Prenctice Hall"}
@string{kluwer="Kluwer Academic Publishers"}


%% Journals

%% To be junked

@Comment @STRING{JoACM       = {Journal of the ACM}}
@Comment @STRING{ACMCS       = {ACM Computing Surveys}}
@Comment @STRING{grund={Zeitschrift f\"{u}r Mathematische Logik und
@Comment 		  Grundlagen der Mathematik}}
@Comment @STRING{SL={Studia Logica}}
@Comment @string{sicomp="{SIAM} Journal on Computing"}
@Comment @STRING{AfML        = {Archive for Mathematical Logic}}
@Comment @STRING{JoSL        = {Journal of Symbolic Logic}}
@Comment @STRING{JoSC        = {Journal of Symbolic Computation}}
@Comment @STRING{ActaCyb     = {Acta Cybernetica}}
@Comment @STRING{InfComp     = {Information and Computation}}
@Comment @STRING{SIAMJoC     = {SIAM Journal of Computing}}
@Comment @STRING{caap     = {Colloquium on Trees in Algebras and Programming}}
@Comment @STRING{BoAMS       = {Bulletin of Am. Math. Soc.}}



%% To keep

@string{polymorphism="Polymorphism: The {ML}/{LCF}/{HOPE} Newsletter"}
@STRING{IndaMat     = {Indagationes Mathematicae}}
@STRING{AoM         = {Annals of Mathematics}}
@STRING{AJoM        = {American Journal of Mathematics}}
@STRING{FoCS        = {Foundations of Computer Science}}
@STRING{NDJoFL      = {Notre Dame Journal of Formal Logic}}
@STRING{CRaAdS      = {Compte Rendu \`{a} l'Acad\'{e}mie des Sciences}}
@STRING{TotAMS      = {Transactions of the American Mathematical Society}}
@STRING{IJoPP       = {International Journal of Parallel Programming}}



@STRING{ac= {Acta Cybernetica}}
@STRING{ai={Acta Informatica}}
@STRING{acmcs={ACM Computing Surveys}}
@STRING{aml={Archive for Mathematical Logic}}
@string{apal={Annals of Pure and Applied Logic}}
@STRING{bams={Bulletin of Am. Math. Soc.}}
@string{bsl="Bulletin of Symbolic Logic"}
@string{cacm="Communications of the {ACM}"} 
@string{fac="{Formal Aspects of Computing}"}
@STRING{fi= {Fundamenta Informaticae}}
@string{hosc="Higher-Order and Symbolic Computation"}
@STRING{ico= {Information and Control}}
@string{ic="{Information and Computation}"}
@string{ipl ={Information Processing Letters}}
@string{jacm={Journal of the ACM}}
@string{jar="{Journal of Automated Reasoning}"}
@string{jcs={Journal of Computer Security}}
@string{jcss={Journal of Computer and System Sciences}}
@string{jfp="{Journal of Functional Programming}"}
@string{jlc="{Journal of Logic and Computation}"}
@string{jlp="{Journal of Logic Programming}"}
@string{jlap="{Journal of Logic and Algebraic Programming}"}
@string{jsc="Journal of Symbolic Computation"}
@string{jsl="Journal of Symbolic Logic"}
@string{lasc="LISP and Symbolic Computation"}
@string{mscs="{Mathematical Structures in Computer Science}"}
@string{mst="Mathematical Systems Theory"}
@string{njc="Nordic Journal of Computing"}
@string{pnas="Proceedings National  Academy of Sciences {USA}"}
@string{scp = "Science of Computer Programming"}
@string{siamc="{SIAM} Journal on Computing"}
@string{sl= {Studia Logica}}
@string{spe={Software--practice and experience}}
@string{sttt="International Journal on Software Tools for Technology Transfer"}
@string{tapos="Theory and Practice of Object Systems"}
@string{tcs="{Theoretical Computer Science}"}
@string{toplas="{ACM} Transactions on Programming Languages and
		  Systems"}
@string{tse="Transactions on Software Engineering"}

@string{zml="Zeitschrift {f\"ur} Mathematische Logik und Grundlagen
der Mathematik"}


%%% Conferences



%% Institutions

@string{lfcs={Laboratory for the Foundations of Computer Science,
		  University of Edinburgh}}
@string{kun={Department of Computer Science, University of Nijmegen}}
@string{cwi={Centrum voor Wiskunde en Informatica, Amsterdam}}
@STRING{TUE         = {Eindhoven University of Technology}}