@string{tams = "Transactions of the American Mathematical Society"} @string{rairo = "RAIRO"} @string{amai = "Annals of Mathematics and Artificial Intelligence"} @string{amm = "American Mathematical Monthly"} @string{ams = "American Mathematical Society"} @string{acad = "Academic Press"} @string{aaecc = "Applicable Algebra in Engineering, Communication and Computing"} @string{lncs = "Lecture Notes in Computer Science"} @string{lnai = "Lecture Notes in Artificial Intelligence"} @string{lnm = "Lecture Notes in Mathematics"} @string{cup = "Cambridge University Press"} @string{springer= "Springer-Verlag"} @string{elsevier= "Elsevier Science Publishers B.V."} @string{mit = "MIT Press"} @string{nh = "North-Holland"} @string{ntt = "NTT"} @string{lnm = "Lecture Notes in Mathematics"} @string{aaai88 = "Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88)"} @string{aaai7 = "Proc.~7th {AAAI}"} @string{aaai8 = "Proc.~8th {AAAI}"} @string{ieee = "IEEE"} %@string{ieice = "Institute of Electronics.~Information and % Communication Engineers"} @string{ieice = "IEICE"} @string{tieice = "Transactions of Information Processing Society of Japan"} @string{jigpl = "Journal of the IGPL"} @string{ljigpl = "Logic Journal of the IGPL"} @string{jips = "Journal of Information Processing (Japan)"} @string{tipsj = "Transactions of the IEICE"} @string{toplas = "ACM Transactions on Programming Languages and Systems (TOPLAS)"} @string{cwi = "CWI (Centre for Mathematics and Computer Science), Amsterdam"} @string{ai = "Artificial Intelligence"} @string{ase = "Automated Software Engineering<"} @string{aii2 = "Proc.~2nd Int.~Workshop on Analogical and Inductive Inference"} @string{ajcai7 = "Proc.~7th Australian Joint Conference on Artificial Intelligence"} @string{adt-10-94 = "Recent Trends in Data Type Specification"} @string{aismc94 = "Proc.\ 2nd Int.\ Conf.\ on Integrating Symbolic Mathematical Computation and Artificial Intelligence (AISMC'94), Cambridge, UK, August 3-5, 1994"} @string{aisc98 = "Proc.\ 4th Int.~Conf.~on Artificial Intelligence and Symbolic Computation (AISC'98), Plattsburgh, New York, USA, September 16-18, 1998"} @string{alp3 = "Proc.~4th Int.~Conf.~on Algebraic and Logic Programming"} @string{alp4 = "Proc.~4th Int.~Conf.~on Algebraic and Logic Programming, Madrid"} @string{alp88 = "Proc.~1st Int.~Workshop on Algebraic and Logic Programming (ALP'88), Gaussig, GDR, November 14-18, 1988"} @string{alp90 = "Proc.~2nd Int.~Conf.~on Algebraic and Logic Programming (ALP'90)"} @string{alp92 = "Proc.~3rd Int.~Conf.~on Algebraic and Logic Programming (ALP'92)"} @string{alp94 = "Proc.~4th Int.~Conf.~on Algebraic and Logic Programming, Madrid (ALP'94)"} @string{alp5 = "Proc.~5th Int.~Conf.~on Algebraic and Logic Programming, Aachen"} @string{alphoa97= "Algebraic and Logic Programming, 6th International Joint Conference, ALP'97 -- HOA'97, Proceedings"} @string{amast95 = "Proc.~4th Int.~Conf.~on Algebraic Methodology and Software Technology (AMAST'95), Montreal, Canada, July 3-7, 1995"} @string{amast96 = "Proc.~5th Int.~Conf.~on Algebraic Methodology and Software Technology (AMAST'96), Munich, Germany, July 1-5, 1996"} @string{asian98 = "Advances in Computing Science -- ASIAN'98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-1"} @string{asian03 = "Advances in Computing Science -- ASIAN 2003, Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003"} @string{atva04 = "Proc.\ 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04), Taipei, Taiwan, ROC, October 31-November 3, 2004"} @string{caap84 = "Proc.~Coll.~on Trees in Algebra and Programming (CAAP'84)"} @string{caap13 = "Proc.~13th Coll.~on Trees in Algebra and Programming"} @string{caap17 = "Proc.~17th Coll.~on Trees in Algebra and Programming"} @string{caap19 = "Proc.~19th Coll.~on Trees in Algebra and Programming"} @string{caap20 = "Proc.~20th Coll.~on Trees in Algebra and Programming"} @string{caap96 = "Proc.~Coll.~on Trees in Algebra and Programming (CAAP'96)"} @string{caap97 = "Proc.~Coll.~on Trees in Algebra and Programming (CAAP'97)"} @string{caap21 = "Proc.~21st Coll.~on Trees in Algebra and Programming"} @string{cade4 = "Proc.~4th Int.~Conf.~on Automated Deduction"} @string{cade5 = "Proc.~5th Int.~Conf.~on Automated Deduction"} @string{cade8 = "Proc.~8th Int.~Conf.~on Automated Deduction"} @string{cade9 = "Proc.~9th Int.~Conf.~on Automated Deduction"} @string{cade10 = "Proc.~10th Int.~Conf.~on Automated Deduction"} @string{cade11 = "Proc.~11th Int.~Conf.~on Automated Deduction"} @string{cade80 = "Proc.~5th Int.~Conf.~on Automated Deduction (CADE'80), Les Arcs, France, July 8-11, 1980"} @string{cade86 = "Proc.~8th Int.~Conf.~on Automated Deduction (CADE'86), Oxford, England, July 27 -- August 1, 1986"} @string{cade88 = "Proc.~9th Int.~Conf.~on Automated Deduction (CADE'88), Argonne, Illinois, USA, May 23-26, 1988"} @string{cade90 = "Proc.~10th Int.~Conf.~on Automated Deduction (CADE'90), Kaiserslautern, FRG, July 24-27, 1990"} @string{cade92 = "Proc.~11th Int.~Conf.~on Automated Deduction (CADE'92), Saratoga Springs, NY, USA, June 15-18, 1992"} @string{cade12 = "Proc.~12th Int.~Conf.~on Automated Deduction"} @string{cade94 = "Proc.~12th Int.~Conf.~on Automated Deduction (CADE'94), Nancy, France, June 26 -- July 1, 1994"} @string{cade13 = "Proc.~13th Int.~Conf.~on Automated Deduction"} @string{cade96 = "Proc.~13th Int.~Conf.~on Automated Deduction, New Brunswick, NJ, USA, July 30 -- August 3, 1996"} @string{cade98 = "Proc.~15th Int.~Conf.~on Automated Deduction, Lindau, Germany, July 5-10, 1998"} @string{cade99 = "Proc.~16th Int.~Conf.~on Automated Deduction, Trento, Italy, July 7-10, 1999"} @string{cade14 = "Proc.~14th Int.~Conf.~on Automated Deduction"} @string{cade82 = "Proc.~6th Int.~Conf.~on Automated Deduction (CADE 1982)"} @string{cade00 = "Proc.~17th Int.~Conf.~on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000"} @string{cade02 = "Proc.~18th Int.~Conf.~on Automated Deduction (CADE'02), Copenhagen, Denmark, July 27-30, 2002"} @string{cade03 = "Proc.~19th Int.~Conf.~on Automated Deduction (CADE'03), Miami Beach, FL, USA, July 28 -- August 2, 2003"} @string{cav96 = "Proc.~8th International Conference on Computer Aided Verification (CAV'96), New Brunswick, NJ, USA, July 31 -- August 3, 1996"} @string{cav00 = "Proc.~12th International Conference on Computer Aided Verification (CAV'00), Chicago, IL, USA, July 15-19, 2000"} @string{cav01 = "Proc.~13th International Conference on Computer Aided Verification (CAV 2001)"} @string{cav03 = "Proc.~15th International Conference on Computer Aided Verification (CAV 2003), Boulder, CO, USA, July 8-12, 2003"} @string{cav04 = "Proc.~16th International Conference on Computer Aided Verification (CAV 2004), Boston, MA, USA, July 13-17, 2004"} @string{ccl1 = "Proc.~1st Int.\ Conf.\ on Constraints in Computational Logics (CCL'94)"} @string{cl00 = "Proc.~1st Int.\ Conf.\ on Computational Logic (CL'00), London, UK, 24-28 July, 2000"} @string{concur90 = "Proc.\ CONCUR'90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990"} @string{creas = "Proc.~Coll.~on the Resolution of Equations in Algebraic Structures"} @string{csfw97 = "Proc.\ 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA"} @string{csl95 = "Computer Science Logic, 9th Int.~Workshop, CSL'95, Annual Conference of the EACSL"} @string{csl96 = "Computer Science Logic, 10th Int.~Workshop, CSL'96, Annual Conference of the EACSL, Selected Papers"} @string{csl98 = "Computer Science Logic, 12th Int.~Workshop, CSL'98, Annual Conference of the EACSL, Proceedings"} @string{csl99 = "Proc.\ Computer Science Logic, 13th Int.~Workshop, CSL'99, 8th Annual Conference of the EACSL"} @string{ctrs1 = "Proc.\ 1st Int.\ Workshop on Conditional Rewriting Systems (CTRS'87), Orsay, France, July 8-10, 1987"} @string{ctrs87 = "Proc.\ 1st Int.\ Workshop on Conditional Rewriting Systems (CTRS'87)"} @string{ctrs2 = "Proc.~2nd Int.~Workshop on Conditional and Typed Rewriting Systems, Montreal, Canada (June 1990)"} @string{ctrs90 = "Proc.~2nd Int.~Workshop on Conditional and Typed Rewriting Systems (CTRS'90)"} @string{ctrs92 = "Proc.~3rd Int.~Workshop on Conditional Term Rewriting Systems (CTRS'92), Pont-{\'a}-Mousson, France, July 8-10, 1992"} @string{ctrs94 = "Proc.~4th Int.~Workshop on Conditional and Typed Rewriting Systems (CTRS 1994), Jerusalem, Israel, July 13-15, 1994"} @string{ctrs3 = "Proc.~3rd Int.~Workshop on Conditional Term Rewriting Systems (CTRS, July 1992)"} @string{ctrs4 = "Proc.~4th Int.~Workshop on Conditional and Typed Rewriting Systems, Jerusalem, Israel (1994)"} @string{eatcs = "Bulletin of the European Association for Theoretical Computer Science" } @string{beatcs = "Bulletin of the European Association for Theoretical Computer Science" } @string{cacm = "Communications of the {ACM}"} @string{cj = "Computer Journal"} @string{fac = "Formal Aspects of Computing"} @string{ic = "Information and Computation"} @string{ijcfs = "International Journal of Foundations of Computer Science"} @string{jfp = "Journal of Functional Programming"} @string{jlp = "Journal of Logic Programming"} @string{jlc = "Journal of Logic and Computation"} @string{ipl = "Information Processing Letters"} @string{jacm = "Journal of the {ACM}"} @string{jflp = "Journal of Functional and Logic Programming"} @string{jair = "Journal of Artificial Intelligence Research"} @string{jar = "Journal of Automated Reasoning"} @string{jcss = "Journal of Computer and System Sciences"} @string{jsc = "Journal of Symbolic Computation"} @string{jsl = "Journal of Symbolic Logic"} @string{jipc = "Journal of Information Processing and Cybernetics"} @string{jucs = "Journal of Universal Computer Science"} @string{tcs = "Theoretical Computer Science"} @string{fi = "Fundamenta Informaticae"} @string{fbinf = "Fachbereich Informatik, Universit{\"a}t Kaiserslautern"} @string{e1852 = "Institut f{\"u}r Computersprachen, TU Wien, Austria"} @string{seki = "{SEKI}-Report"} @string{mpi = "{Max-Planck-Institut f{\"u}r Informatik, Saarbr{\"u}cken}"} @string{disco90 = "Proc.\ International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '90, Capri, Italy, April 10-12, 1990"} @string{ecml95 = "Proc.\ 8th European Conference on Machine Learning (ECML'95), Heraclion, Crete, Greece, April 25-27, 1995"} @string{fct10 = "Proc.~10th Int.~Conf.~on Fundamentals of Computation Theory"} @string{fossacs04 = "Proc.~7th Int.~Conf.~on Foundations of Software Science and Computation Structures (FOSSACS'04), Barcelona, Spain, March/April 2004"} @string{fct97 = "Proc.\ 11th Int.\ Symp.\ on Fundamentals of Computation Theory (FCT'97)"} @string{fuji95 = "Proc.\ 1st Int.\ Fuji Symp.\ on Functional and Logic Programming (FUJI'95)"} @string{fuji96 = "Proc.\ 2nd Int.\ Fuji Symp.\ on Functional and Logic Programming (FUJI'96)"} @string{flairs99 = "Proc.\ 12th International Florida Artificial Intelligence Research Society Conference (FLAIRS'99), May 1-5, 1999, Orlando, Florida, USA"} @string{flops98 = "Proc.\ 3rd Fuji Int.\ Symp.\ on Functional and Logic Programming (FLOPS'98), Kyoto, Japan, Apil 2-4,"} @string{flops99 = "Proc.\ 4th Fuji Int.\ Symp.\ on Functional and Logic Programming (FLOPS'99)"} @string{flops01 = "Proc.\ 5th Int.\ Symp.\ on Functional and Logic Programming (FLOPS'01)"} @string{flairs00 = "Proc.\ 13nth International Florida Artificial Intelligence Research Society Conference (FLAIRS'00), May 22-24, 2000, Orlando, Florida, USA"} @string{fme96 = "Proc.\ 3rd International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME'96), Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996"} @string{fmtrends98 = "Proc.\ International Workshop on Current Trends in Applied Formal Methods (FM-TRENDS'98), Boppard, Germany, October 7-9, 1998"} @string{frocos96 = "Proc.~1st Int.~Workshop on Frontiers of Combining Systems (FROCOS'96)"} @string{frocos98 = "Proc.~2nd Int.~Workshop on Frontiers of Combining Systems (FROCOS'98)"} @string{frocos00 = "Proc.~3rd Int.~Workshop on Frontiers of Combining Systems (FROCOS 2000)"} @string{graph4 = "Proc.~4th International Workshop on Graph Grammars and Their Application to Computer Science"} @string{hoa1 = "Proc.~1st Int.~Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA'93)"} @string{hoa2 = "Proc.~2nd Int.~Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA'95)"} @string{iberamia04 = "Proc.\ 9th Ibero-American Conference on Artificial Intelligence, Puebla, M{\'e}xico, November 22-26, 2004 (IBERAMIA'04)"} @string{icalp90 = "Proc.~Int.~Conf.~on Automata, Languages and Programming (ICALP'90)"} @string{icalp00 = "Proc.~27th International Colloquium on Automata, Languages and Programming (ICALP'00), Geneva, Switzerland, July 9-15, 2000"} @string{icalp5 = "Proc.~5th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp8 = "Proc.~8th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp12 = "Proc.~12th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp13 = "Proc.~13th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp86 = "Proc.~13th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp16 = "Proc.~16th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp18 = "Proc.~18th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp20 = "Proc.~20th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp21 = "Proc.~21st Int.~Conf.~on Automata, Languages and Programming"} @string{icalp22 = "Proc.~22nd Int.~Conf.~on Automata, Languages and Programming"} @string{icalp23 = "Proc.~23rd Int.~Conf.~on Automata, Languages and Programming"} @string{icalp23 = "Proc.~23rd Int.~Conf.~on Automata, Languages and Programming"} @string{icalp96 = "Proc.~23rd Int.~Conf.~on Automata, Languages and Programming (ICALP'96)"} @string{icalp24 = "Proc.~24th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp30 = "Proc.~30th Int.~Conf.~on Automata, Languages and Programming (ICALP'03), Eindhoven, The Netherlands, June 30 - July 4, 2003"} @string{iclp8 = "Proc.~8th Int.~Conf.~on Logic Programming (ICLP'91)"} @string{iclp93 = "Proc.~10th Int.~Conf.~on Logic Programming, June 21-25, 1993, Budapest, Hungary"} @string{iclp95 = "Proc.~12th Int.~Conf.~on Logic Programming"} @string{ecai9 = "Proc.~9th European Conf.~on Artificial Intelligence"} @string{ecai86 = "Proc.~7th European Conf.~on Artificial Intelligence (ECAI'86), Brighton, United Kingdom, July 20-25, 1986"} @string{ecai88 = "Proc.~8th European Conf.~on Artificial Intelligence (ECAI'88), Munich, Germany, August 1-5, 1988"} @string{ecai92 = "Proc.~10th European Conf.~on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992"} @string{ecai94 = "Proc.~9th European Conf.~on Artificial Intelligence (ECAI'94), Amsterdam, The Netherlands, August 8-12, 1994"} @string{icalp8 = "Proc.~8th Int.~Conf.~on Automata, Languages and Programming"} @string{icalp76 = "Proc.~3rd Int.~Conf.~on Automata, Languages and Programming"} @string{ijcai7 = "Proc.~7th Int.~Conf.~on Artificial Intelligence"} @string{ijcai73 = "Proc.~3rd Int.~Conf.~on Artificial Intelligence (IJCAI'73), Standford, CA, August 1973"} @string{ijcai75 = "Proc.~4th Int.~Conf.~on Artificial Intelligence (IJCAI'75) - Advance Papers, Tbilisi, Georgia, USSR, 3-8 September 1975"} @string{ijcai77 = "Proc.~5th Int.~Conf.~on Artificial Intelligence (IJCAI'77), Cambridge, MA, August 1977"} @string{ijcai81 = "Proc.~7th Int.~Conf.~on Artificial Intelligence"} @string{ijcai13 = "Proc.~13th Int.~Conf.~on Artificial Intelligence"} @string{ijcai14 = "Proc.~14th Int.~Conf.~on Artificial Intelligence"} @string{ijcai89 = "Proc.~11th Int.~Conf.~on Artificial Intelligence, Detroit, MI, USA, August 1989"} @string{ijcai93 = "Proc.~13th Int.~Conf.~on Artificial Intelligence (IJCAI'93), Chamb{\'e}ry, France, August 28 -September 3, 1993"} @string{ijcai95 = "Proc.~14th Int.~ Joint Conf.~on Artificial Intelligence, IJCAI 95, Montr{\'e}al, Qu{\'e}bec, Canada, August 20-25, 1995"} @string{ijcar01 = "Proc.~1st Int.\ Joint Conf.\ on Automated Reasoning (IJCAR'01), Siena, Italy, June 18-23, 2001"} @string{ijcar04 = "Proc.~2nd Int.\ Joint Conf.\ on Automated Reasoning (IJCAR'04), Cork, Ireland, July 4-8, 2004"} @string{isaac3 = "Proc.~3rd Int.~Symposium on Algorithms and Computati on"} @string{issac88 = "Proc.~International Symposium on Symbolic and Algebraic Computation"} @string{issac89 = "Proc.~International Symposium on Symbolic and Algebraic Computation"} @string{issta94 = "Proc.~of the 1994 International Symposium on Software Testing and Analysis (ISSTA'94), August 17-19, 1994, Seattle, WA, USA"} @string{ctrs1 = "Proc.~1st Int.~Workshop on Conditional Term Rewriting Systems"} @string{ctrs2 = "Proc.~2nd Int.~Workshop on Conditional and Typed Rewriting Systems"} @string{focs77 = "Proc.~18th Conf.~on Foundations of Computer Science (FOCS 1977)"} @string{focs21 = "Proc.~21st Conf.~on Foundations of Computer Science"} @string{focs32 = "Proc.~32nd Conf.~on Foundations of Computer Science"} @string{fsttcs11 = "Proc.~11th Conf.~on the Foundations of Software Technology and Theoretical Computer Science"} @string{fsttcs91 = "Proc.~11th Conf.~on the Foundations of Software Technology and Theoretical Computer Science"} @string{fsttcs13 = "Proc.~13th Conf.~on the Foundations of Software Technology and Theoretical Computer Science"} @string{fsttcs94 = "Proc.~14th Conf.~on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'97), Madras, India, December 15-17, 1994"} @string{fsttcs97 = "Proc.~17th Conf.~on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'97)"} @string{fsttcs06 = "Proc.~26th Int.~Conf.~on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India, December 13-15, 2006"} @string{iclp8 = "Proc.~8th Int.~Conf.~on Logic Programming"} @string{islp91 = "Proc.\ International Symposium on Logic Programming (ISLP'91), San Diego, California, USA, Oct. 28 - Nov 1, 1991"} @string{iwwert1 = "Proc.~1st Int.~Workshop on Word Equations and Related Topics (IWWERT'90)"} @string{jelia90 = "Proc.\ Logics in AI, European Workshop, JELIA '90"} @string{ki96 = "Proc.\ 20th Annual German Conference on Artificial Intelligence (KI'96), Dresden, Germany, September 17-19, 1996"} @string{kgc97 = "Proc.\ 5th Kurt G{\"o}del Colloquium -- Computational Logic and Proof Theory (KGC'97)"} @string{lfcs3 = "Proc.~3rd Int.~Symp.~on Logical Foundations of Computer Science"} @string{lics1 = "Proc.~1st Annual IEEE Symp.~on Logic in Computer Science" } @string{lics2 = "Proc.~2nd Annual IEEE Symposium on Logic in Computer Science" } @string{lics3 = "Proc.~3rd Annual IEEE Symposium on Logic in Computer Science" } @string{entcs = "Electronic Notes in Theoretical Computer Science" } @string{lics4 = "Proc.~4th Annual IEEE Symposium on Logic in Computer Science" } @string{lics5 = "Proc.~5th Annual IEEE Symposium on Logic in Computer Science" } @string{lics6 = "Proc.~6th Annual IEEE Symposium on Logic in Computer Science" } @string{lics7 = "Proc.~7th Annual IEEE Symposium on Logic in Computer Science" } @string{lics8 = "Proc.~8th Annual IEEE Symposium on Logic in Computer Science" } @string{lics9 = "Proc.~9th Annual IEEE Symposium on Logic in Computer Science" } @string{lics10 = "Proc.~10th Annual IEEE Symposium on Logic in Computer Science" } @string{lics11 = "Proc.~11th Annual IEEE Symposium on Logic in Computer Science" } @string{lics12 = "Proc.~12th Annual IEEE Symposium on Logic in Computer Science" } @string{lics97 = "Proc.~12th Annual IEEE Symposium on Logic in Computer Science" } @string{lics01 = "Proc.~16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)" } @string{lpar5 = "Proc.~5th Int.~Conf.~on Logic Programming and Automated Reasoning" } @string{lpar92 = "Proc.~3rd Int.~Conf.~on Logic Programming and Automated Reasoning (LPAR 1992), St.~Petersburg, Russia, July 15-20, 1992, 1993" } @string{lpar93 = "Proc.~4th Int.~Conf.~on Logic Programming and Automated Reasoning (LPAR 1993), St.~Petersburg, Russia, July 13-20, 1993" } @string{lpar94 = "Proc.~5th Int.~Conf.~on Logic Programming and Automated Reasoning (LPAR 1994), Kiev, Ukraine, July 16-22, 1994" } @string{lpar99 = "Proc.~6th Int.~Conf.~on Logic Programming and Automated Reasoning (LPAR'99)" } @string{lopstr95 = "Proc.\ 5th Int.\ Workshop on Logic Program Synthesis and Transformation" } @string{mfcs-16-91 = "Proc.~16th Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-17-92 = "Proc.~17th Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-18-93 = "Proc.~18th Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-19-94 = "Proc.~19th Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-20-95 = "Proc.~20th Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-21-96 = "Proc.~21st Int.~Symp.~on Mathematical Foundations of Computer Science"} @string{mfcs-22-97 = "Proc.~22nd Int.~Symp.~on Mathematical Foundations of Computer Science (MFCS'97)"} @string{mfcs96 = "Proc.~21st Int.~Symp.~on Mathematical Foundations of Computer Science (MFCS'96)"} @string{mfcs98 = "Proc.~23rd Int.~Symp.~on Mathematical Foundations of Computer Science (MFCS'98)"} @string{mscs = "Mathematical Structures in Computer Science"} @string{plilp95 = "Proc.~of 7th Int.~Symp.~on Programming Languages: Implementations, Logics and Programs (PLILP'95)"} @string{popl = "Proc.~of ACM Symp.~on Principles of Programming Languages"} @string{popl3 = "Proc.~3th ACM Symposium on Principles of Programming Languages"} @string{popl6 = "Proc.~6th ACM Symposium on Principles of Programming Languages"} @string{popl7 = "Proc.~7th ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, January 1980"} @string{popl21 = "Proc.~21th ACM Symposium on Principles of Programming Languages"} @string{popl24 = "Proc.~24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"} @string{popl91 = "Proc.~18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'91), Orlando, Florida"} @string{ppdp99 = "Proc.~Int.~Conf.~on Principles and Practice of Declarative Programming (PPDP'99)"} @string{pricai96 = "Proc.~4th Pacific Rim International Conference on Artificial Intelligence @string{prole06 = "Proc.~6th Spanish Conference on Programming and Computer Languages (PROLE'06), Sitges, Spain, October 2006"} (PRICAI'96), Cairns, Australia, August 26-30, 1996"} @string{rta1 = "Proc.~1st Int.~Conf.~on Rewriting Techniques and Applications (RTA'85)"} @string{rta2 = "Proc.~2nd Int.~Conf.~on Rewriting Techniques and Applications (RTA'87)"} @string{rta87 = "Proc.~2nd Int.~Conf.~on Rewriting Techniques and Applications (RTA'87)"} @string{rta3 = "Proc.~3rd Int.~Conf.~on Rewriting Techniques and Applications (RTA'89)"} @string{rta89 = "Proc.~3rd Int.~Conf.~on Rewriting Techniques and Applications (RTA'89)"} @string{rta4 = "Proc.~4th Int.~Conf.~on Rewriting Techniques and Applications (RTA'91)"} @string{rta91 = "Proc.~4th Int.~Conf.~on Rewriting Techniques and Applications (RTA'91), "} @string{rta5 = "Proc.~5th Int.~Conf.~on Rewriting Techniques and Applications (RTA'93)"} @string{rta6 = "Proc.~6th Int.~Conf.~on Rewriting Techniques and Applications (RTA'95)"} @string{rta7 = "Proc.~7th Int.~Conf.~on Rewriting Techniques and Applications (RTA'96)"} @string{rta7-96 = "Proc.~7th Int.~Conf.~on Rewriting Techniques and Applications (RTA'96)"} @string{rta96 = "Proc.~7th Int.~Conf.~on Rewriting Techniques and Applications (RTA'96)"} @string{rta8 = "Proc.~8th Int.~Conf.~on Rewriting Techniques and Applications (RTA'97)"} @string{rta8-97 = "Proc.~8th Int.~Conf.~on Rewriting Techniques and Applications (RTA'97)"} @string{rta97 = "Proc.~8th Int.~Conf.~on Rewriting Techniques and Applications (RTA'97)"} @string{rta9 = "Proc.~9th Int.~Conf.~on Rewriting Techniques and Applications (RTA'98)"} @string{rta9-98 = "Proc.~9th Int.~Conf.~on Rewriting Techniques and Applications (RTA'98)"} @string{rta98 = "Proc.~9th Int.~Conf.~on Rewriting Techniques and Applications (RTA'98), Tsukuba, Japan, March 30 - April 1, 1998"} @string{rta10 = "Proc.~10th Int.~Conf.~on Rewriting Techniques and Applications (RTA'99)"} @string{rta99 = "Proc.~10th Int.~Conf.~on Rewriting Techniques and Applications (RTA'99)"} @string{rta03 = "Proc.~14th Int.~Conf.~on Rewriting Techniques and Applications (RTA'03), Valencia, Spain, June 9-11, 2003"} @string{rta04 = "Proc.~15th Int.~Conf.~on Rewriting Techniques and Applications (RTA'04), Aachen, Germany, June 3-5, 2004"} @string{rta05 = "Proc.~16th Int.~Conf.~on Rewriting Techniques and Applications (RTA'05), Nara, Japan, April 19-21, 2005"} @string{rta06 = "Proc.~17th Int.~Conf.~on Rewriting Techniques and Applications (RTA'06), Seattle, Washington, USA, August 12-14, 2006"} @string{sas95 = "Proc.~2nd Int.~Static Analysis Symposium (SAS'95)"} @string{stacs4 = "Proc.~4th Int.~Symp.~on Theoretical Aspects of Computer Science"} @string{stacs6 = "Proc.~6th Int.~Symp.~on Theoretical Aspects of Computer Science"} @string{stacs89 = "Proc.~6th Int.~Symp.~on Theoretical Aspects of Computer Science"} @string{stacs10 = "Proc.~10th Int.~Symp.~on Theoretical Aspects of Computer Science"} @string{stacs11 = "Proc.~11th Int.~Symp.~on Theoretical Aspects of Computer Science"} @string{stoc9 = "Proc.~9th AAM Symp.~Theory of Computing"} @string{stoc13 = "Proc.~13th Annual Symp.~of Theory of Computing"} @string{tacs94 = "Proc.~Int.~Symp.~on Theoretical Aspects of Computer Software" } @string{tapsoft91 = "Proc.~4(??)th Int.~Joint Conf.~on Theory and Practice of Software Development"} @string{tapsoft95 = "Proc.~6th Int.~Joint Conf.~on Theory and Practice of Software Development"} @string{tapsoft97 = "TAPSOFT'97: Theory and Practice of Software Development, 7th Int.\ Joint Conf.\ CAAP/FASE"} @string{tlca93 = "Proc.~Int.~Conf.~on Typed Lambda Calculi and Applications (TLCA'93)"} @string{tphols97 = "Proc.~10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'97), Murray Hill, NJ, USA, August 19-22, 1997"} @string{tphols98 = "Proc.~11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'98), Canberra, Australia, September 27 - October 1, 1998"} @string{tphols01 = "Proc.~14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Edinburgh, Scotland, UK, September 3-6, 2001"} @string{tphols03 = "Proc.~16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'03), Rom, Italy, September 8-12, 2003"} @string{tphols04 = "Proc.~17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'04), Park City, Utah, USA, September 14-17, 2004"} @string{unif10 = "Proc.~10th Int.~Workshop on Unification (Extended Abstracts), CIS-Bericht-96-91, Universit{\"a}t M{\"u}nchen"} @string{zum97 = "Proc.\ 10th International Conference of Z Users (ZUM'97), Reading, UK, April 3-4, 1997"} @string{infcom = "Information and Computation"} @string{acm = "ACM"} @string{jaist = "Japan Advanced Institute of Science and Technology, Hokuriku"}