%@string{lncs     = "Lecture Notes in Computer Science"}
@String{ai       = {Artificial Intelligence}}
@String{dc       = {Distributed Computing}} 
@String{facs     = {Formal Aspects of Computing}}
@String{ic       = {Information and Computation}} 
@String{jfocs    = {International Journal of Foundations of Computer Science}} 
@String{jlc      = {Journal of Logic and Computation}}
@String{jlp      = {Journal of Logic Programming}}
@String{jpl      = {Journal of Philosophical Logic}}
@String{jsl      = {The Journal of Symbolic Logic}}
@String{lnai     = {LNAI}}
@String{lncs     = {LNCS}}
@String{ndjfl    = {Notre Dame Journal of Formal Logic}}
@String{tams     = {Transactions af the AMS}}
@String{toplas   = {ACM Transactions on Programming Languages and Systems}}

@String{springer = {Springer-Verlag}}
@String{cup      = {Cambridge University Press}}

@String{cttcs    = {Cambridge Tracts in Theoretical Computer Science}}
@String{tmcs     = {Texts and Monographs in Computer Science}}
@String{ifi      = {Institut f\"{u}r Informatik und Praktische Mathematik, Christian-Albrechts-Universit\"{a}t zu Kiel}}


%@String{acmcs    = {ACM Computing Surveys}}
%@String{acta     = {Acta Informatica}}
%@String{cacm     = {Communications of the ACM}}
%@String{ibmjrd   = {IBM Journal of Research and Development}}
%@String{ibmsj    = {IBM Systems Journal}}
%@String{ieeese   = {IEEE Transactions on Software Engineering}}
%@String{ieeetc   = {IEEE Transactions on Computers}}
%@String{ieeetcad = {IEEE Transactions on Computer-Aided Design of Integrated Circuits}}
%@String{ipl      = {Information Processing Letters}}
%@String{jacm     = {Journal of the ACM}}
%@String{jcss     = {Journal of Computer and System Sciences}}
%@String{scp      = {Science of Computer Programming}}
%@String{sicomp   = {SIAM Journal on Computing}}
%@String{tocs     = {ACM Transactions on Computer Systems}}
%@String{tods     = {ACM Transactions on Database Systems}}
%@String{tog      = {ACM Transactions on Graphics}}
%@String{toms     = {ACM Transactions on Mathematical Software}}
%@String{toois    = {ACM Transactions on Office Information Systems}}
%@String{toplas   = {ACM Transactions on Programming Languages and Systems}}
%@String{tcs      = {Theoretical Computer Science}}