@string{entcs  = "Electronic Notes in Theoretical Computer Science"}
@string{lncs   = "Lecture Notes in Computer Science"}
@string{lnai   = "Lecture Notes in Artificial Intelligence"}
@string{j-jucs = "Journal of Universal Computer Science"}
@string{tcs    = "Theoretical Computer Science"}
@string{jacm   = "Journal of the ACM"}
@string{jar    = "Journal of Automated Reasoning"}
@string{sigplan = "ACM SIG{\-}PLAN Notices"}

@string{acm   = "ACM press"}
@string{ieee  = "IEEE Computer Society"}
@string{springer  = "Springer"}

@string{cade   = "Proc. Conference on Automated Deduction (CADE)"}
@string{cav    = "Computer Aided Verification (CAV)"}
@string{cp     = "Principles and Practice of Constraint Programming
                 (CP)"}
@string{csl    = "Computer Science Logic (CSL)"}
@string{dac    = "Design Automation Conference (DAC)"}
@string{esop   = "European Symposium on Programming (ESOP)"}
@string{fmcad  = "Formal Methods In Computer-Aided Design (FMCAD)"}
@string{frocos = "Frontiers of Combining Systems ({FroCoS})"}
@string{iccad  = "{IEEE} International Conference on Computer-Aided
                 Design (ICCAD)"}
@string{ictac  = "International Conference on Theoretical
  Aspects of Computing (ICTAC)"}
@string{ifm    = "Integrated Formal Methods (IFM)"}
@string{ijcar  = "International Joint Conference on Automated Reasoning
                 (IJCAR)"}
@string{jelia  = "Proc. European Conference Logics in Artificial Intelligence (JELIA)"}
@string{lics   = "Logic In Computer Science (LICS)"}
@string{lpar   = "Logic for Programming, Artificial Intelligence, and
                  Reasoning (LPAR)"}
@string{pdpar  = "Pragmatics of Decision Procedures in Automated Reasoning 
                  (PDPAR)"}
@string{smt    = "International Workshop on Satisfiability Modulo Theories (SMT)"}
@string{rta    = "Rewriting Techniques and Applications (RTA)"}
@string{tacas  = "Tools and Algorithms for Construction and Analysis of
                 Systems (TACAS)"}
@string{pxtp   = "Workshop on Proof eXchange for Theorem Proving (PxTP)"}
@string{addct  = "Automated Deduction: Decidability, Complexity, Tractability (ADDCT)"}