% $Id: adb-long.bib 6518 2010-01-24 14:18:10Z brucker $
@PREAMBLE{ {\providecommand{\ac}[1]{\textsc{#1}} } 
	 # {\providecommand{\acs}[1]{\textsc{#1}} } 
	 # {\providecommand{\acf}[1]{\textsc{#1}} } 
	 # {\providecommand{\TAP}{T\kern-.1em\lower-.5ex\hbox{A}\kern-.1em P} } 
	 # {\providecommand{\leanTAP}{\mbox{\sf lean\it\TAP}} } 
	 # {\providecommand{\holz}{\textsc{hol-z}} } 
	 # {\providecommand{\holocl}{\textsc{hol-ocl}} } 
	 # {\providecommand{\isbn}{\textsc{isbn}} } 
         # {\providecommand{\Cpp}{C++} } 
         # {\providecommand{\Specsharp}{Spec\#} } 
	 # {\providecommand{\doi}[1]{\href{http://dx.doi.org/#1}{doi:
	   {\urlstyle{rm}\nolinkurl{#1}}}}} }
@STRING{conf-tphols="\acs{tphols}" }
@STRING{iso	= {International Organization for Standardization} }
@STRING{j-ar	= "Journal of Automated Reasoning" }
@STRING{j-cacm	= "Communications of the \acs{acm}" }
@STRING{j-acta-informatica =  "Acta Informatica" }
@STRING{j-sosym	= "Software and Systems Modeling" }
@STRING{j-sttt	= "International Journal on Software Tools for Technology" }
@STRING{j-ist	= "Information and Software Technology" }
@STRING{j-toplas= "\acs{acm} Transactions on Programming Languages and
		  Systems" }
@STRING{j-tosem	= "\acs{acm} Transactions on Software Engineering and
		  Methodology" }
@STRING{j-eceasst="Electronic Communications of the \acs{easst}" }
@STRING{j-fac	= "Formal Aspects of Computing" }
@STRING{j-ucs	= "Journal of Universal Computer Science" }
@STRING{j-sl	= "Journal of Symbolic Logic" }
@STRING{j-fp	= "Journal of Functional Programming" }
@STRING{j-tkde	= {\acs{ieee} Transaction on Knowledge and Data Engineering} }
@STRING{j-tse	= {\acs{ieee} Transaction on Software Engineering} }
@STRING{j-entcs	= {Electronic Notes in Theoretical Computer Science} }
@STRING{s-lnai  = "Lecture Notes in Computer Science" }
@STRING{s-lncs  = "Lecture Notes in Computer Science" }
@STRING{s-lnbip = "Lecture Notes in Business Information Processing" }
@String{j-computer = "Computer"}
@String{j-tissec = "\acs{acm} Transactions on Information and System Security"}
@STRING{omg	= {Object Management Group} }
@STRING{j-ipl   = {Information Processing Letters} }
@STRING{j-login	= ";login: the USENIX Association newsletter" }

@STRING{PROC = "Proceedings of the " }


% Publisher:
% ==========
@STRING{pub-awl	= {Addison-Wesley Longman, Inc.} }
@STRING{pub-awl:adr={Reading, MA, \acs{usa}} }
@STRING{pub-springer={Springer-Verlag} }
@STRING{pub-springer:adr={Heidelberg} }
@STRING{pub-cup	= {Cambridge University Press} }
@STRING{pub-cup:adr={New York, \acs{ny}, \acs{usa}} }
@STRING{pub-mit	= {\acs{mit} Press} }
@STRING{pub-mit:adr={Cambridge, Massachusetts} }
@STRING{pub-springer-ny={Springer-Verlag} }
,
@STRING{pub-springer-netherlands={Springer Netherlands} }
@STRING{pub-springer-netherlands:adr={} }
@STRING{pub-springer-ny:adr={New York, \acs{ny}, \acs{usa}} }
@STRING{pub-springer-london={Springer-Verlag} }
@STRING{pub-springer-london:adr={London} }
@STRING{pub-ieee= {\acs{ieee} Computer Society} }
@STRING{pub-ieee:adr={Los Alamitos, \acs{ca}, \acs{usa}} }
@STRING{pub-prentice={Prentice Hall, Inc.} }
@STRING{pub-prentice:adr={Upper Saddle River, \acs{nj}, \acs{usa}} }
@STRING{pub-acm	= {\acs{acm} Press} }
@STRING{pub-acm:adr={New York, \acs{ny} \acs{usa}} }
@STRING{pub-oxford={Oxford University Press, Inc.} }
@STRING{pub-oxford:adr={New York, \acs{ny}, \acs{usa}} }
@STRING{pub-kluwer={Kluwer Academic Publishers} }
@STRING{pub-kluwer:adr={Dordrecht} }
@STRING{pub-elsevier={Elsevier Science Publishers} }
@STRING{pub-elsevier:adr={Amsterdam} }
@STRING{pub-north={North-Holland Publishing Co.} }
@STRING{pub-north:adr={Nijmegen, The Netherlands} }
@STRING{pub-ios	= {\textsc{ios} Press} }
@STRING{pub-ios:adr={Amsterdam, The Netherlands} }
@STRING{pub-heise={Heise Zeitschriften Verlag} }
@STRING{pub-heise:adr={Hannover, Germany} }
