Add presentation; start a different implementation

1 files changed, 3631 insertions, 0 deletions

diff --git a/tex/presentation/thomas/bib.bib b/tex/presentation/thomas/bib.bib
new file mode 100644
index 0000000..eb36633
--- /dev/null
+++ b/tex/presentation/thomas/bib.bib
@@ -0,0 +1,3631 @@
+%% This BibTeX bibliography file was created using BibDesk.
+%% http://bibdesk.sourceforge.net/
+
+
+%% Created for Thomas Martin Gawlitza at 2011-05-27 19:13:39 +0200 
+
+
+%% Saved with string encoding Unicode (UTF-8) 
+
+
+
+@book{flow,
+	Author = {Ravindra K. Ahuja and Thomas L. Magnati and James B. Orlin},
+	Date-Added = {2011-05-27 19:12:20 +0200},
+	Date-Modified = {2011-05-27 19:13:15 +0200},
+	Publisher = {Prentice Hall},
+	Title = {Network Flows},
+	Year = {1993}}
+
+@article{DBLP:journals/combinatorica/Karmarkar84,
+	Author = {Narendra Karmarkar},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2011-04-26 11:44:39 +0200},
+	Date-Modified = {2011-04-26 11:44:39 +0200},
+	Journal = {Combinatorica},
+	Number = {4},
+	Pages = {373-396},
+	Title = {A new polynomial-time algorithm for linear programming},
+	Volume = {4},
+	Year = {1984}}
+
+@book{Potra97primal-dualinterior-point,
+	Address = {Philadelphia, PA, U.S.A.},
+	Author = {Stephen J. Wright},
+	Date-Added = {2011-04-26 11:33:46 +0200},
+	Date-Modified = {2011-04-26 11:33:46 +0200},
+	Publisher = siam,
+	Title = {Primal-Dual Interior-Point Methods},
+	Year = {1997}}
+
+@inproceedings{DBLP:conf/stoc/Orlin88,
+	Author = {James B. Orlin},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STOC},
+	Crossref = {DBLP:conf/stoc/STOC20},
+	Date-Added = {2011-04-14 16:30:11 +0200},
+	Date-Modified = {2011-04-14 16:30:11 +0200},
+	Pages = {377-387},
+	Title = {A Faster Strongly Polynominal Minimum Cost Flow Algorithm},
+	Year = {1988}}
+
+@proceedings{DBLP:conf/stoc/STOC20,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STOC},
+	Date-Added = {2011-04-14 16:30:11 +0200},
+	Date-Modified = {2011-04-14 16:30:11 +0200},
+	Publisher = {ACM},
+	Title = {Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, 2-4 May 1988, Chicago, Illinois, USA},
+	Year = {1988}}
+
+@inproceedings{DBLP:conf/ershov/BjorklundSV03,
+	Author = {Henrik Bj{\"o}rklund and Sven Sandberg and Sergei G. Vorobyov},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Ershov Memorial Conference},
+	Crossref = {DBLP:conf/ershov/2003},
+	Date-Added = {2010-10-05 16:10:13 +0200},
+	Date-Modified = {2010-10-05 16:10:13 +0200},
+	Pages = {381-394},
+	Title = {Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework},
+	Year = {2003},
+	Bdsk-Url-1 = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=381}}
+
+@inproceedings{DBLP:conf/focs/SzaboW01,
+	Author = {Tibor Szab{\'o} and Emo Welzl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FOCS},
+	Date-Added = {2009-04-13 12:46:53 +0200},
+	Date-Modified = {2009-04-13 12:46:53 +0200},
+	Pages = {547-555},
+	Title = {Unique Sink Orientations of Cubes},
+	Year = {2001}}
+
+@article{DBLP:journals/rsa/Gartner02,
+	Author = {Bernd G{\"a}rtner},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2009-04-13 12:41:00 +0200},
+	Date-Modified = {2009-04-13 12:41:00 +0200},
+	Ee = {http://dx.doi.org/10.1002/rsa.10034},
+	Journal = {Random Struct. Algorithms},
+	Number = {3},
+	Pages = {353-381},
+	Title = {The Random-Facet simplex algorithm on combinatorial cubes},
+	Volume = {20},
+	Year = {2002}}
+
+@inproceedings{DBLP:conf/focs/Gartner92,
+	Author = {Bernd G{\"a}rtner},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FOCS},
+	Crossref = {DBLP:conf/focs/FOCS33},
+	Date-Added = {2009-04-13 12:40:01 +0200},
+	Date-Modified = {2009-04-13 12:40:01 +0200},
+	Pages = {464-472},
+	Title = {A Subexponential Algorithm for Abstract Optimization Problems},
+	Year = {1992}}
+
+@proceedings{DBLP:conf/focs/FOCS33,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FOCS},
+	Date-Added = {2009-04-13 12:40:01 +0200},
+	Date-Modified = {2009-04-13 12:40:01 +0200},
+	Publisher = {IEEE},
+	Title = {33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA},
+	Year = {1992}}
+
+@inproceedings{DBLP:conf/stacs/ChatterjeeH06,
+	Author = {Krishnendu Chatterjee and Thomas A. Henzinger},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Crossref = {DBLP:conf/stacs/2006},
+	Date-Added = {2009-04-10 18:34:29 +0200},
+	Date-Modified = {2009-04-10 18:34:29 +0200},
+	Ee = {http://dx.doi.org/10.1007/11672142_42},
+	Pages = {512-523},
+	Title = {Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games},
+	Year = {2006}}
+
+@proceedings{DBLP:conf/stacs/2006,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Date-Added = {2009-04-10 18:34:29 +0200},
+	Date-Modified = {2009-04-10 18:34:29 +0200},
+	Editor = {Bruno Durand and Wolfgang Thomas},
+	Isbn = {3-540-32301-5},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings},
+	Volume = {3884},
+	Year = {2006}}
+
+@book{RePEc:eee:gamhes:2,
+	Date-Added = {2009-04-09 16:44:54 +0200},
+	Date-Modified = {2009-04-09 16:44:54 +0200},
+	Editor = {R.J. Aumann and S. Hart},
+	Number = {2},
+	Publisher = {Elsevier},
+	Series = {Handbook of Game Theory with Economic Applications},
+	Title = {Handbook of Game Theory with Economic Applications},
+	Url = {http://ideas.repec.org/b/eee/gamhes/2.html},
+	Volume = {2},
+	Year = 1994,
+	Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/2.html}}
+
+@book{RePEc:eee:gamhes:1,
+	Date-Added = {2009-04-09 16:43:41 +0200},
+	Date-Modified = {2009-04-09 16:43:41 +0200},
+	Editor = {R.J. Aumann and S. Hart},
+	Number = {1},
+	Publisher = {Elsevier},
+	Series = {Handbook of Game Theory with Economic Applications},
+	Title = {Handbook of Game Theory with Economic Applications},
+	Url = {http://ideas.repec.org/b/eee/gamhes/1.html},
+	Volume = {1},
+	Year = 1992,
+	Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/1.html}}
+
+@book{RePEc:eee:gamhes:3,
+	Date-Added = {2009-04-09 16:39:49 +0200},
+	Date-Modified = {2009-04-09 16:39:49 +0200},
+	Editor = {R.J. Aumann and S. Hart},
+	Number = {3},
+	Publisher = {Elsevier},
+	Series = {Handbook of Game Theory with Economic Applications},
+	Title = {Handbook of Game Theory with Economic Applications},
+	Url = {http://ideas.repec.org/b/eee/gamhes/3.html},
+	Volume = {3},
+	Year = 2002,
+	Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/3.html}}
+
+@inproceedings{cav2009/GawlitzaS09,
+	Author = {Thomas Martin Gawlitza and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Date-Added = {2009-04-09 13:49:30 +0200},
+	Date-Modified = {2009-04-13 19:15:31 +0200},
+	Title = {Games through Nested Fixpoints},
+	Year = {2009 (to appear)}}
+
+@inproceedings{DBLP:conf/fm/GawlitzaS08,
+	Author = {Thomas Gawlitza and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FM},
+	Crossref = {DBLP:conf/fm/2008},
+	Date-Added = {2009-04-09 12:35:12 +0200},
+	Date-Modified = {2009-04-09 12:35:12 +0200},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-68237-0_24},
+	Pages = {342-357},
+	Title = {Precise Interval Analysis vs. Parity Games},
+	Year = {2008}}
+
+@proceedings{DBLP:conf/fm/2008,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FM},
+	Date-Added = {2009-04-09 12:35:12 +0200},
+	Date-Modified = {2009-04-09 12:35:12 +0200},
+	Editor = {Jorge Cu{\'e}llar and T. S. E. Maibaum and Kaisa Sere},
+	Isbn = {978-3-540-68235-6},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings},
+	Volume = {5014},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/atva/GawlitzaS07,
+	Author = {Thomas Gawlitza and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ATVA},
+	Crossref = {DBLP:conf/atva/2007},
+	Date-Added = {2009-04-09 12:33:30 +0200},
+	Date-Modified = {2009-04-09 12:33:30 +0200},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-75596-8_14},
+	Pages = {177-191},
+	Title = {Computing Game Values for Crash Games},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/atva/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ATVA},
+	Date-Added = {2009-04-09 12:33:30 +0200},
+	Date-Modified = {2009-04-09 12:33:30 +0200},
+	Editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
+	Isbn = {978-3-540-75595-1},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
+	Volume = {4762},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/esop/GawlitzaS07,
+	Author = {Thomas Gawlitza and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ESOP},
+	Crossref = {DBLP:conf/esop/2007},
+	Date-Added = {2009-04-09 12:29:42 +0200},
+	Date-Modified = {2009-04-09 12:29:42 +0200},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-71316-6_21},
+	Pages = {300-315},
+	Title = {Precise Fixpoint Computation Through Strategy Iteration},
+	Year = {2007}}
+
+@inproceedings{wing2012,
+        Author = {Thomas Gawlitza and Helmut Seidl},
+        Booktitle = {Easychair Proceedings},
+        Title = {Abstract Interpretation over Zones without Widening},
+	Note = {To appear},
+        Year = {2012}}
+
+@article{compare2012,
+  	Author = {Thomas Gawlitza and Helmut Seidl and Assale Adje and Stephane Gaubert and Eric Goubault},
+  	Title  = {Abstract Interpretation Meets Convex Optimization},
+	journal = {Journal of Symbolic Computation (JSC)},
+	note = {To appear},
+	year = {2011}}
+
+@proceedings{DBLP:conf/esop/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ESOP},
+	Date-Added = {2009-04-09 12:29:42 +0200},
+	Date-Modified = {2009-04-09 12:29:42 +0200},
+	Editor = {Rocco De Nicola},
+	Isbn = {978-3-540-71314-2},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
+	Volume = {4421},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/dagstuhl/2001automata,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Automata, Logics, and Infinite Games},
+	Date-Added = {2009-04-07 23:15:06 +0200},
+	Date-Modified = {2009-04-07 23:15:06 +0200},
+	Editor = {Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke},
+	Isbn = {3-540-00388-6},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]},
+	Volume = {2500},
+	Year = {2002}}
+
+@inproceedings{DBLP:conf/soda/ChatterjeeJH04,
+	Author = {Krishnendu Chatterjee and Marcin Jurdzinski and Thomas A. Henzinger},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {SODA},
+	Crossref = {DBLP:conf/soda/2004},
+	Date-Added = {2009-04-07 11:46:03 +0200},
+	Date-Modified = {2009-04-07 11:46:03 +0200},
+	Ee = {http://doi.acm.org/10.1145/982792.982808},
+	Pages = {121-130},
+	Title = {Quantitative stochastic parity games},
+	Year = {2004}}
+
+@proceedings{DBLP:conf/soda/2004,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {SODA},
+	Date-Added = {2009-04-07 11:46:03 +0200},
+	Date-Modified = {2009-04-07 11:46:03 +0200},
+	Editor = {J. Ian Munro},
+	Publisher = {SIAM},
+	Title = {Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004},
+	Year = {2004}}
+
+@inproceedings{DBLP:conf/dimacs/Emerson96,
+	Author = {E. Allen Emerson},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Descriptive Complexity and Finite Models},
+	Crossref = {DBLP:conf/dimacs/1996},
+	Date-Added = {2009-03-30 15:13:05 +0200},
+	Date-Modified = {2009-03-30 15:13:05 +0200},
+	Pages = {185-214},
+	Title = {Model Checking and the Mu-calculus},
+	Year = {1996}}
+
+@proceedings{DBLP:conf/dimacs/1996,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Descriptive Complexity and Finite Models},
+	Date-Added = {2009-03-30 15:13:05 +0200},
+	Date-Modified = {2009-03-30 15:13:05 +0200},
+	Editor = {Neil Immerman and Phokion G. Kolaitis},
+	Isbn = {0-8218-0517-7},
+	Publisher = {American Mathematical Society},
+	Series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
+	Title = {Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University},
+	Volume = {31},
+	Year = {1996}}
+
+@inproceedings{DBLP:conf/tark/Henzinger05,
+	Author = {Thomas A. Henzinger},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TARK},
+	Crossref = {DBLP:conf/tark/2005},
+	Date-Added = {2009-03-30 14:30:02 +0200},
+	Date-Modified = {2009-03-30 14:30:02 +0200},
+	Ee = {http://doi.acm.org/10.1145/1089933.1089935},
+	Pages = {1-4},
+	Title = {Games in system design and verification},
+	Year = {2005}}
+
+@proceedings{DBLP:conf/tark/2005,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TARK},
+	Date-Added = {2009-03-30 14:30:02 +0200},
+	Date-Modified = {2009-03-30 14:30:02 +0200},
+	Editor = {Ron van der Meyden},
+	Isbn = {981-05-3412-4},
+	Publisher = {National University of Singapore},
+	Title = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
+	Year = {2005}}
+
+@inproceedings{DBLP:conf/valuetools/DhingraG06,
+	Author = {Vishesh Dhingra and Stephane Gaubert},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {VALUETOOLS},
+	Crossref = {DBLP:conf/valuetools/2006},
+	Date-Added = {2009-03-30 14:02:31 +0200},
+	Date-Modified = {2009-03-30 14:02:31 +0200},
+	Ee = {http://doi.acm.org/10.1145/1190095.1190110},
+	Pages = {12},
+	Title = {How to solve large scale deterministic games with mean payoff by policy iteration},
+	Year = {2006}}
+
+@proceedings{DBLP:conf/valuetools/2006,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {VALUETOOLS},
+	Date-Added = {2009-03-30 14:02:31 +0200},
+	Date-Modified = {2009-03-30 14:02:31 +0200},
+	Editor = {Luciano Lenzini and Rene L. Cruz},
+	Isbn = {1-59593-504-5},
+	Publisher = {ACM},
+	Series = {ACM International Conference Proceeding Series},
+	Title = {Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006},
+	Volume = {180},
+	Year = {2006}}
+
+@article{DBLP:journals/algorithmica/Halman07,
+	Author = {Nir Halman},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2009-03-30 13:56:06 +0200},
+	Date-Modified = {2009-03-30 13:56:06 +0200},
+	Ee = {http://dx.doi.org/10.1007/s00453-007-0175-3},
+	Journal = {Algorithmica},
+	Number = {1},
+	Pages = {37-50},
+	Title = {Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted Payoff Games Are All LP-Type Problems},
+	Volume = {49},
+	Year = {2007}}
+
+@article{DBLP:journals/corr/abs-0812-0486,
+	Author = {Vladimir Gurvich and Peter Bro Miltersen},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2009-03-30 13:50:52 +0200},
+	Date-Modified = {2009-03-30 13:50:52 +0200},
+	Ee = {http://arxiv.org/abs/0812.0486},
+	Journal = {CoRR},
+	Title = {On the computational complexity of solving stochastic mean-payoff games},
+	Volume = {abs/0812.0486},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/lics/KlarlundK91,
+	Author = {Nils Klarlund and Dexter Kozen},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {LICS},
+	Crossref = {DBLP:conf/lics/LICS6},
+	Date-Added = {2009-03-27 22:34:30 +0100},
+	Date-Modified = {2009-03-27 22:34:30 +0100},
+	Pages = {256-265},
+	Title = {Rabin Measures and Their Applications to Fairness and Automata Theory},
+	Year = {1991}}
+
+@proceedings{DBLP:conf/lics/LICS6,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {LICS},
+	Date-Added = {2009-03-27 22:34:30 +0100},
+	Date-Modified = {2009-03-27 22:34:30 +0100},
+	Publisher = {IEEE Computer Society},
+	Title = {Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands},
+	Year = {1991}}
+
+@inproceedings{DBLP:conf/cav/Thomas02,
+	Author = {Wolfgang Thomas},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Crossref = {DBLP:conf/cav/2002},
+	Date-Added = {2009-03-25 15:21:25 +0100},
+	Date-Modified = {2009-03-25 15:21:25 +0100},
+	Ee = {http://link.springer.de/link/service/series/0558/bibs/2404/24040058.htm},
+	Pages = {58-64},
+	Title = {Infinite Games and Verification (Extended Abstract of a Tutorial)},
+	Year = {2002}}
+
+@proceedings{DBLP:conf/cav/2002,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Date-Added = {2009-03-25 15:21:25 +0100},
+	Date-Modified = {2009-03-25 15:21:25 +0100},
+	Editor = {Ed Brinksma and Kim Guldstrand Larsen},
+	Isbn = {3-540-43997-8},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
+	Volume = {2404},
+	Year = {2002}}
+
+@inproceedings{DBLP:conf/cc/ShahamKS00,
+	Author = {Ran Shaham and Elliot K. Kolodner and Shmuel Sagiv},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CC},
+	Crossref = {DBLP:conf/cc/2000},
+	Date-Added = {2009-03-24 23:06:53 +0100},
+	Date-Modified = {2009-03-24 23:06:53 +0100},
+	Ee = {http://link.springer.de/link/service/series/0558/bibs/1781/17810050.htm},
+	Pages = {50-66},
+	Title = {Automatic Removal of Array Memory Leaks in Java},
+	Year = {2000}}
+
+@proceedings{DBLP:conf/cc/2000,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CC},
+	Date-Added = {2009-03-24 23:06:53 +0100},
+	Date-Modified = {2009-03-24 23:06:53 +0100},
+	Editor = {David A. Watt},
+	Isbn = {3-540-67263-X},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings},
+	Volume = {1781},
+	Year = {2000}}
+
+@inproceedings{DBLP:conf/csl/Schewe08,
+	Author = {Sven Schewe},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CSL},
+	Crossref = {DBLP:conf/csl/2008},
+	Date-Added = {2009-03-24 18:55:33 +0100},
+	Date-Modified = {2009-03-24 18:55:33 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-87531-4_27},
+	Pages = {369-384},
+	Title = {An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games},
+	Year = {2008}}
+
+@proceedings{DBLP:conf/csl/2008,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CSL},
+	Date-Added = {2009-03-24 18:55:33 +0100},
+	Date-Modified = {2009-03-24 18:55:33 +0100},
+	Editor = {Michael Kaminski and Simone Martini},
+	Isbn = {978-3-540-87530-7},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings},
+	Volume = {5213},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/fsttcs/Schewe07,
+	Author = {Sven Schewe},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FSTTCS},
+	Crossref = {DBLP:conf/fsttcs/2007},
+	Date-Added = {2009-03-24 18:54:09 +0100},
+	Date-Modified = {2009-03-24 18:54:09 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-77050-3_37},
+	Pages = {449-460},
+	Title = {Solving Parity Games in Big Steps},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/fsttcs/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FSTTCS},
+	Date-Added = {2009-03-24 18:54:09 +0100},
+	Date-Modified = {2009-03-24 18:54:09 +0100},
+	Editor = {Vikraman Arvind and Sanjiva Prasad},
+	Isbn = {978-3-540-77049-7},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
+	Volume = {4855},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/stacs/Thomas95,
+	Author = {Wolfgang Thomas},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Date-Added = {2009-03-21 20:34:24 +0100},
+	Date-Modified = {2009-03-21 20:34:24 +0100},
+	Pages = {1-13},
+	Title = {On the Synthesis of Strategies in Infinite Games},
+	Year = {1995}}
+
+@article{DBLP:journals/apal/McNaughton93,
+	Author = {Robert McNaughton},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2009-03-21 20:31:47 +0100},
+	Date-Modified = {2009-03-21 20:31:47 +0100},
+	Journal = {Ann. Pure Appl. Logic},
+	Number = {2},
+	Pages = {149-184},
+	Title = {Infinite Games Played on Finite Graphs},
+	Volume = {65},
+	Year = {1993}}
+
+@inproceedings{DBLP:conf/icalp/Kozen82,
+	Author = {Dexter Kozen},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Crossref = {DBLP:conf/icalp/1982},
+	Date-Added = {2009-03-16 18:38:31 +0100},
+	Date-Modified = {2009-03-16 18:38:31 +0100},
+	Pages = {348-359},
+	Title = {Results on the Propositional $\mu$-Calculus},
+	Year = {1982}}
+
+@proceedings{DBLP:conf/icalp/1982,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Date-Added = {2009-03-16 18:38:31 +0100},
+	Date-Modified = {2009-03-16 18:38:31 +0100},
+	Editor = {Mogens Nielsen and Erik Meineche Schmidt},
+	Isbn = {3-540-11576-5},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
+	Volume = {140},
+	Year = {1982}}
+
+@article{DBLP:journals/tocl/McIverM07,
+	Author = {Annabelle McIver and Carroll Morgan},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2009-03-16 18:28:25 +0100},
+	Date-Modified = {2009-03-16 18:31:17 +0100},
+	Ee = {http://doi.acm.org/10.1145/1182613.1182616},
+	Journal = {ACM Trans. Comput. Log.},
+	Number = {1},
+	Title = {Results on the quantitative $\mu$-calculus qM$\mu$},
+	Volume = {8},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/tacas/StevensS98,
+	Author = {Perdita Stevens and Colin Stirling},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Crossref = {DBLP:conf/tacas/1998},
+	Date-Added = {2009-03-16 18:10:34 +0100},
+	Date-Modified = {2009-03-16 18:10:34 +0100},
+	Ee = {http://link.springer.de/link/service/series/0558/bibs/1384/13840085.htm},
+	Pages = {85-101},
+	Title = {Practical Model-Checking Using Games},
+	Year = {1998}}
+
+@proceedings{DBLP:conf/tacas/1998,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Date-Added = {2009-03-16 18:10:34 +0100},
+	Date-Modified = {2009-03-16 18:10:34 +0100},
+	Editor = {Bernhard Steffen},
+	Isbn = {3-540-64356-7},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
+	Volume = {1384},
+	Year = {1998}}
+
+@inproceedings{DBLP:conf/cav/EmersonJS93,
+	Author = {E. Allen Emerson and Charanjit S. Jutla and A. Prasad Sistla},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Crossref = {DBLP:conf/cav/1993},
+	Date-Added = {2009-03-16 18:07:43 +0100},
+	Date-Modified = {2009-03-16 18:07:43 +0100},
+	Pages = {385-396},
+	Title = {On Model-Checking for Fragments of $\mu$-Calculus},
+	Year = {1993}}
+
+@proceedings{DBLP:conf/cav/1993,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Date-Added = {2009-03-16 18:07:43 +0100},
+	Date-Modified = {2009-03-16 18:07:43 +0100},
+	Editor = {Costas Courcoubetis},
+	Isbn = {3-540-56922-7},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings},
+	Volume = {697},
+	Year = {1993}}
+
+@book{Tarski48,
+	Author = {Alfred Tarski},
+	Date-Added = {2009-03-13 18:00:35 +0100},
+	Date-Modified = {2009-03-13 18:06:49 +0100},
+	Publisher = {University of California Press},
+	Title = {A Decision Method for Elementary Algrebra and Geometry},
+	Year = {1948}}
+
+@inproceedings{DBLP:conf/icalp/GimbertZ07,
+	Author = {Hugo Gimbert and Wieslaw Zielonka},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Crossref = {DBLP:conf/icalp/2007},
+	Date-Added = {2009-02-25 14:46:10 +0100},
+	Date-Modified = {2009-02-25 14:46:10 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-73420-8_73},
+	Pages = {850-861},
+	Title = {Perfect Information Stochastic Priority Games},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/icalp/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Date-Added = {2009-02-25 14:46:10 +0100},
+	Date-Modified = {2009-02-25 14:46:10 +0100},
+	Editor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki},
+	Isbn = {978-3-540-73419-2},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
+	Volume = {4596},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/lop/Emerson85,
+	Author = {E. Allen Emerson},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Logic of Programs},
+	Crossref = {DBLP:conf/lop/1985},
+	Date-Added = {2009-02-21 16:32:02 +0100},
+	Date-Modified = {2009-02-21 16:32:02 +0100},
+	Pages = {79-88},
+	Title = {Automata, Tableaux and Temporal Logics (Extended Abstract)},
+	Year = {1985}}
+
+@proceedings{DBLP:conf/lop/1985,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {Logics of Programs},
+	Date-Added = {2009-02-21 16:32:02 +0100},
+	Date-Modified = {2009-02-21 16:32:02 +0100},
+	Editor = {Rohit Parikh},
+	Isbn = {3-540-15648-8},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings},
+	Volume = {193},
+	Year = {1985}}
+
+@conference{Sha53,
+	Author = {Lloyed Stowell Shapley},
+	Booktitle = {Proceedings of the National Academy of Science},
+	Date-Added = {2009-02-14 16:33:04 +0100},
+	Date-Modified = {2009-02-14 16:36:14 +0100},
+	Pages = {1095-1100},
+	Title = {Stochstic Games},
+	Volume = {39},
+	Year = {1953}}
+
+@unpublished{Liminf,
+	Author = {Krishnendu Chatterjee and Thomas A. Henzinger},
+	Date-Added = {2009-01-18 19:40:54 +0100},
+	Date-Modified = {2009-04-09 14:48:05 +0200},
+	Note = {ILC (to Appear)},
+	Title = {Probabilistic Systems with LimSup and LimInf Objectives},
+	Year = {2009}}
+
+@article{LigLip69,
+	Author = {Thomas M. Liggett and Steven A. Lippman},
+	Date-Added = {2009-01-18 19:38:12 +0100},
+	Date-Modified = {2009-04-09 14:35:16 +0200},
+	Journal = {SIAM Review},
+	Number = {4},
+	Pages = {604-607},
+	Title = {Stochastic games with perfict information and time average payoff.},
+	Volume = {11},
+	Year = {1969}}
+
+@conference{Gil57,
+	Author = {D. Gillette},
+	Booktitle = {Contributions to the Theory of Games III},
+	Date-Added = {2009-01-18 19:28:55 +0100},
+	Date-Modified = {2009-04-09 14:09:18 +0200},
+	Editor = {M. Dresher and A.W. Tucker and P. Wolfe},
+	Journal = {Annals of Mathematics Studies},
+	Keywords = {stochastische turn-based mean-payoff games sind positional determiniert},
+	Pages = {179-187},
+	Publisher = {Princeton University Press},
+	Title = {Stochastic games with zero stop probabilities},
+	Volume = {39},
+	Year = {1957}}
+
+@inproceedings{DBLP:conf/stacs/FischerGK08,
+	Author = {Diana Fischer and Erich Gr{\"a}del and Lukasz Kaiser},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Crossref = {DBLP:conf/stacs/2008},
+	Date-Added = {2008-12-17 17:25:04 +0100},
+	Date-Modified = {2008-12-17 17:25:53 +0100},
+	Ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1352},
+	Pages = {301-312},
+	Title = {Model Checking Games for the Quantitative $\mu$-Calculus},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/sas/LerouxS07,
+	Author = {J{\'e}r{\^o}me Leroux and Gr{\'e}goire Sutre},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {SAS},
+	Crossref = {DBLP:conf/sas/2007},
+	Date-Added = {2008-12-17 10:37:24 +0100},
+	Date-Modified = {2008-12-22 16:00:21 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-74061-2_12},
+	Pages = {184-199},
+	Title = {Accelerated Data-Flow Analysis},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/sas/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {SAS},
+	Date-Added = {2008-12-17 10:37:24 +0100},
+	Date-Modified = {2008-12-17 10:37:24 +0100},
+	Editor = {Hanne Riis Nielson and Gilberto Fil{\'e}},
+	Isbn = {978-3-540-74060-5},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings},
+	Volume = {4634},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/atva/ShohamG05,
+	Author = {Sharon Shoham and Orna Grumberg},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ATVA},
+	Crossref = {DBLP:conf/atva/2005},
+	Date-Added = {2008-12-09 20:14:32 +0100},
+	Date-Modified = {2008-12-09 20:14:32 +0100},
+	Ee = {http://dx.doi.org/10.1007/11562948_27},
+	Pages = {354-369},
+	Title = {Multi-valued Model Checking Games.},
+	Year = {2005}}
+
+@article{DBLP:journals/tosem/ChechikDEG03,
+	Author = {Marsha Chechik and Benet Devereux and Steve M. Easterbrook and Arie Gurfinkel},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2008-12-09 20:14:23 +0100},
+	Date-Modified = {2008-12-09 20:14:23 +0100},
+	Ee = {http://doi.acm.org/10.1145/990010.990011},
+	Journal = {ACM Trans. Softw. Eng. Methodol.},
+	Number = {4},
+	Pages = {371-408},
+	Title = {Multi-valued symbolic model-checking.},
+	Volume = {12},
+	Year = {2003}}
+
+@inproceedings{DBLP:conf/concur/GimbertZ05,
+	Author = {Hugo Gimbert and Wieslaw Zielonka},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CONCUR},
+	Crossref = {DBLP:conf/concur/2005},
+	Date-Added = {2008-12-09 20:12:07 +0100},
+	Date-Modified = {2008-12-09 20:12:07 +0100},
+	Ee = {http://dx.doi.org/10.1007/11539452_33},
+	Pages = {428-442},
+	Title = {Games Where You Can Play Optimally Without Any Memory.},
+	Year = {2005}}
+
+@inproceedings{DBLP:conf/lics/ChatterjeeHJ05,
+	Author = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzinski},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {LICS},
+	Crossref = {DBLP:conf/lics/2005},
+	Date-Added = {2008-12-09 20:11:04 +0100},
+	Date-Modified = {2008-12-09 20:11:04 +0100},
+	Ee = {http://dx.doi.org/10.1109/LICS.2005.26},
+	Pages = {178-187},
+	Title = {Mean-Payoff Parity Games.},
+	Year = {2005}}
+
+@article{DBLP:journals/entcs/Somla05,
+	Author = {Rafal Somla},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2008-12-03 10:35:14 +0100},
+	Date-Modified = {2008-12-03 10:35:14 +0100},
+	Ee = {http://dx.doi.org/10.1016/j.entcs.2004.07.008},
+	Journal = {Electr. Notes Theor. Comput. Sci.},
+	Number = {1},
+	Pages = {51-65},
+	Title = {New Algorithms for Solving Simple Stochastic Games},
+	Volume = {119},
+	Year = {2005}}
+
+@article{Maitra92,
+	Author = {A. Maitra and W. Sudderth},
+	Date-Added = {2008-12-02 13:24:23 +0100},
+	Date-Modified = {2008-12-02 13:24:23 +0100},
+	Journal = {Israel Journal of Mathematics},
+	Pages = {33-49},
+	Title = {An operator solution of stochastic games},
+	Volume = {78},
+	Year = {1992}}
+
+@article{Maitra93,
+	Author = {A. Maitra and W. Sudderth},
+	Date-Added = {2008-12-02 13:24:23 +0100},
+	Date-Modified = {2008-12-02 13:24:23 +0100},
+	Journal = {Annals of Probability},
+	Pages = {861-885},
+	Title = {Borel stochastic games with limsup payoff},
+	Volume = {21},
+	Year = {1993}}
+
+@inproceedings{DBLP:conf/icalp/EsparzaGKS08,
+	Author = {Javier Esparza and Thomas Gawlitza and Stefan Kiefer and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP (1)},
+	Crossref = {DBLP:conf/icalp/2008-1},
+	Date-Added = {2008-11-28 14:25:12 +0100},
+	Date-Modified = {2008-11-28 14:25:12 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-70575-8_57},
+	Pages = {698-710},
+	Title = {Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations},
+	Year = {2008}}
+
+@article{Condon92thecomplexity,
+	Author = {Anne Condon},
+	Date-Added = {2008-11-26 11:30:16 +0100},
+	Date-Modified = {2008-11-26 11:30:16 +0100},
+	Journal = {Information and Computation},
+	Pages = {203--224},
+	Title = {The complexity of stochastic games},
+	Volume = {96},
+	Year = {1992}}
+
+@inproceedings{Condon93onalgorithms,
+	Author = {Anne Condon},
+	Booktitle = {Advances in Computational Complexity Theory, volume 13 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
+	Date-Added = {2008-11-26 11:02:40 +0100},
+	Date-Modified = {2008-11-26 11:02:40 +0100},
+	Pages = {51--73},
+	Publisher = {AMS},
+	Title = {On algorithms for simple stochastic games},
+	Year = {1993}}
+
+@inproceedings{DBLP:conf/popl/CousotH78,
+	Author = {Patrick Cousot and Nicolas Halbwachs},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {POPL},
+	Date-Added = {2008-11-25 20:48:51 +0100},
+	Date-Modified = {2008-11-25 20:48:51 +0100},
+	Pages = {84-96},
+	Title = {Automatic Discovery of Linear Restraints Among Variables of a Program},
+	Year = {1978}}
+
+@inproceedings{DBLP:conf/icalp/EtessamiWY08,
+	Author = {Kousha Etessami and Dominik Wojtczak and Mihalis Yannakakis},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP (1)},
+	Crossref = {DBLP:conf/icalp/2008-1},
+	Date-Added = {2008-11-12 10:12:54 +0100},
+	Date-Modified = {2008-11-12 10:12:54 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-70575-8_58},
+	Pages = {711-723},
+	Title = {Recursive Stochastic Games with Positive Rewards},
+	Year = {2008}}
+
+@proceedings{DBLP:conf/icalp/2008-1,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP (1)},
+	Date-Added = {2008-11-12 10:12:54 +0100},
+	Date-Modified = {2008-11-12 10:12:54 +0100},
+	Editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz},
+	Isbn = {978-3-540-70574-1},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games},
+	Volume = {5125},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/tacas/WojtczakE07,
+	Author = {Dominik Wojtczak and Kousha Etessami},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Crossref = {DBLP:conf/tacas/2007},
+	Date-Added = {2008-11-12 10:11:46 +0100},
+	Date-Modified = {2008-11-12 10:11:46 +0100},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-71209-1_7},
+	Pages = {66-71},
+	Title = {PReMo : An Analyzer for P robabilistic Re cursive Mo dels},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/tacas/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Date-Added = {2008-11-12 10:11:46 +0100},
+	Date-Modified = {2008-11-12 10:11:46 +0100},
+	Editor = {Orna Grumberg and Michael Huth},
+	Isbn = {978-3-540-71208-4},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings},
+	Volume = {4424},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/icalp/EtessamiY06,
+	Author = {Kousha Etessami and Mihalis Yannakakis},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP (2)},
+	Crossref = {DBLP:conf/icalp/2006-2},
+	Date-Added = {2008-11-12 10:09:41 +0100},
+	Date-Modified = {2008-11-12 10:09:41 +0100},
+	Ee = {http://dx.doi.org/10.1007/11787006_28},
+	Pages = {324-335},
+	Title = {Recursive Concurrent Stochastic Games},
+	Year = {2006}}
+
+@proceedings{DBLP:conf/icalp/2006-2,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP (2)},
+	Date-Added = {2008-11-12 10:09:41 +0100},
+	Date-Modified = {2008-11-12 10:09:41 +0100},
+	Editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
+	Isbn = {3-540-35907-9},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
+	Volume = {4052},
+	Year = {2006}}
+
+@inproceedings{DBLP:conf/icalp/EtessamiY05,
+	Author = {Kousha Etessami and Mihalis Yannakakis},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Crossref = {DBLP:conf/icalp/2005},
+	Date-Added = {2008-11-12 10:06:33 +0100},
+	Date-Modified = {2008-11-12 10:06:59 +0100},
+	Ee = {http://dx.doi.org/10.1007/11523468_72},
+	Pages = {891-903},
+	Title = {Recursive Markov Decision Processes and Recursive Stochastic Games},
+	Year = {2005}}
+
+@proceedings{DBLP:conf/icalp/2005,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ICALP},
+	Date-Added = {2008-11-12 10:06:33 +0100},
+	Date-Modified = {2008-11-12 10:06:33 +0100},
+	Editor = {Lu\'{\i}s Caires and Giuseppe F. Italiano and Lu\'{\i}s Monteiro and Catuscia Palamidessi and Moti Yung},
+	Isbn = {3-540-27580-0},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
+	Volume = {3580},
+	Year = {2005}}
+
+@techreport{bjoerklund02,
+	Author = {H. Bj{\"o}rklund and S. Sandberg and S. Vorobyov},
+	Date-Added = {2008-11-06 14:57:30 +0100},
+	Date-Modified = {2008-11-06 14:59:39 +0100},
+	Institution = {Department of Information Technology, Uppsala University},
+	Title = {Optimization on completely unimodal hypercubes},
+	Type = {Technichal Report 2002-18},
+	Year = {2002}}
+
+@article{Pisaruk99,
+	Author = {N. Pisaruk},
+	Date-Added = {2008-10-31 16:24:58 +0100},
+	Date-Modified = {2008-10-31 16:24:58 +0100},
+	Journal = {Mathematics of Operations Research},
+	Number = {4},
+	Pages = {817-828},
+	Title = {Mean cost cyclical games},
+	Volume = {24},
+	Year = {1999}}
+
+@article{Karzanov88,
+	Author = {V.A. Gurvich and A.V. Karzanov and L.G. Khachiyan},
+	Date-Added = {2008-10-31 16:21:27 +0100},
+	Date-Modified = {2009-04-09 14:50:41 +0200},
+	Journal = {U.S.S.R. Computational Mathematics and Mathematical Physics},
+	Keywords = {mean payoff games},
+	Number = {5},
+	Pages = {85-91},
+	Title = {Cyclic games and an algorithm to find minimax cycle means in directed graphs},
+	Volume = {28},
+	Year = {1988}}
+
+@article{DBLP:journals/dam/BjorklundV07,
+	Author = {Henrik Bj{\"o}rklund and Sergei G. Vorobyov},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Added = {2008-10-31 16:19:10 +0100},
+	Date-Modified = {2008-10-31 16:19:10 +0100},
+	Ee = {http://dx.doi.org/10.1016/j.dam.2006.04.029},
+	Journal = {Discrete Applied Mathematics},
+	Number = {2},
+	Pages = {210-229},
+	Title = {A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games},
+	Volume = {155},
+	Year = {2007}}
+
+@inproceedings{Vrieze98,
+	Author = {F. Thuijsman and O.J. Vrieze},
+	Booktitle = {Journal of Optimazation Theory and Applications},
+	Date-Added = {2008-10-31 15:17:56 +0100},
+	Date-Modified = {2008-10-31 15:17:56 +0100},
+	Pages = {175-196},
+	Title = {Total Reward Stochastic Games and Sensitive Average Reward Strategies},
+	Volume = {98},
+	Year = {1998}}
+
+@article{Ehrenfeucht79,
+	Author = {Andrzej Ehrenfeucht and Jerzy Mycielski},
+	Date-Added = {2008-10-31 15:14:37 +0100},
+	Date-Modified = {2008-10-31 15:14:37 +0100},
+	Journal = {IJGT},
+	Pages = {109-113},
+	Title = {Positional strategies for mean payoff games},
+	Volume = {8},
+	Year = {1979}}
+
+@inproceedings{CouCou76,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Booktitle = {Second Int. Symp. on Programming},
+	Date-Added = {2008-10-16 16:33:12 +0200},
+	Date-Modified = {2008-10-16 16:33:12 +0200},
+	Pages = {106--130},
+	Publisher = {Dunod, Paris, France},
+	Title = {{Static Determination of Dynamic Properties of Programs}},
+	Year = {1976}}
+
+@article{Knaster28,
+	Author = {B. Knaster},
+	Date-Added = {2008-09-03 15:01:52 +0200},
+	Date-Modified = {2008-09-03 15:09:35 +0200},
+	Journal = {Annales Soc. Polonaise},
+	Pages = {133-134},
+	Title = {Un th{\'e}or{\`eme} sur les fonctions d'ensembles},
+	Volume = {6},
+	Year = {1928}}
+
+@article{Tarski55,
+	Author = {Alfred Tarski},
+	Date-Added = {2008-09-03 14:59:19 +0200},
+	Date-Modified = {2008-09-03 15:00:37 +0200},
+	Journal = {Pac. J. Math.},
+	Pages = {285-309},
+	Title = {A lattice-theoretical fixpoint theorem and its appications},
+	Volume = {5},
+	Year = {1955}}
+
+@book{Nielson05,
+	Author = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin},
+	Date-Added = {2008-09-03 14:16:20 +0200},
+	Date-Modified = {2008-09-03 14:17:36 +0200},
+	Keywords = {static analysis},
+	Publisher = {Springer Verlag},
+	Title = {Principles of Program Analysis},
+	Year = {2005}}
+
+@techreport{www.sans.org/top20,
+	Author = {SANS Institute},
+	Date-Added = {2008-09-03 13:46:54 +0200},
+	Date-Modified = {2009-04-09 14:01:21 +0200},
+	Keywords = {buffer overrun},
+	Title = {The twenty most critical internet security vulnerabilities},
+	Url = {www.sans.org/top20},
+	Bdsk-Url-1 = {www.sans.org/top20}}
+
+@article{kleeminty72,
+	Author = {V. Klee and G.J.Minty},
+	Date-Added = {2008-08-13 14:06:47 +0200},
+	Date-Modified = {2009-04-09 14:35:59 +0200},
+	Editor = {O. Shisha},
+	Journal = {Inequalities},
+	Pages = {159-175},
+	Publisher = {Acadimic Press, New York},
+	Title = {How Good is the Simplex Algorithm},
+	Volume = {III},
+	Year = {1972}}
+
+@book{schrijver86,
+	Author = {Alexander Schrijver},
+	Date-Added = {2008-08-13 13:04:19 +0200},
+	Date-Modified = {2008-08-13 13:06:15 +0200},
+	Publisher = {Wiley},
+	Title = {Theory of Linear and Integer Programming},
+	Year = {1986}}
+
+@book{Davey02,
+	Author = {B. A. Davey and H. A. Priestley},
+	Date-Added = {2008-08-04 08:51:05 +0200},
+	Date-Modified = {2008-08-04 08:54:11 +0200},
+	Month = {April},
+	Publisher = {Cambridge University Press},
+	Title = {Introduction to Lattices and Order},
+	Year = {2002}}
+
+@inproceedings{DBLP:conf/focs/EmersonJ91,
+	Author = {E. Allen Emerson and Charanjit S. Jutla},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FOCS},
+	Crossref = {DBLP:conf/focs/FOCS32},
+	Date-Added = {2007-09-14 17:23:46 +0200},
+	Date-Modified = {2007-09-14 17:23:46 +0200},
+	Pages = {368-377},
+	Title = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
+	Year = {1991}}
+
+@proceedings{DBLP:conf/focs/FOCS32,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {FOCS},
+	Date-Added = {2007-09-14 17:23:46 +0200},
+	Date-Modified = {2007-09-14 17:23:46 +0200},
+	Publisher = {IEEE},
+	Title = {32nd Annual Symposium on Foundations of Computer Science, 1-4 October 1991, San Juan, Puerto Rico},
+	Year = {1991}}
+
+@article{Cochet99,
+	Author = {Jean Cochet-Terrasson and St{\'e}phane Gaubert and Jeremy Gunawardena},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Dynamics and Stability of Systems},
+	Number = 4,
+	Pages = {407--433},
+	Title = {{A Constructive Fixed Point Theorem for Min-Max Functions}},
+	Volume = {14},
+	Year = 1999}
+
+@inproceedings{Voege00,
+	Author = {Jens V{\"o}ge and Marcin Jurdzi{\'n}ski},
+	Booktitle = {Computer Aided Verification, 12th Int. Conf. (CAV)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {202-215},
+	Publisher = {LNCS 1855, Springer},
+	Title = {{A Discrete Strategy Improvement Algorithm for Solving Parity Games}},
+	Year = {2000}}
+
+@inproceedings{JonMuc82,
+	Author = {Neil D. Jones and Steven S. Muchnick},
+	Booktitle = {Proceedings of the 9th ACM Symposium on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {66-74},
+	Publisher = {ACM Press},
+	Title = {{A {F}lexible {A}pproach to {I}nterprocedural {D}ata {F}low {A}nalysis and {P}rograms with {R}ecursive Data Structures}},
+	Year = 1982}
+
+@article{Knu77,
+	Author = {Donald E.\ Knuth},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Information Processing Letters (IPL)},
+	Number = {1},
+	Pages = {1-5},
+	Title = {{A Generalization of Dijkstra's algorithm}},
+	Volume = {6},
+	Year = {1977}}
+
+@techreport{LeCharlier95f,
+	Author = {Baudouin Le Charlier and Pascal Van Hentenryck},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Institution = {Institute of Computer Science, University of Namur, Belgium, (also Brown University)},
+	Month = jan,
+	Note = {Presented at the LOPSTR'93--COMPUNET Program Development Joint Workshop, Louvain la Neuve, Belgium, July 1993, Published in Proc. of JFLP'95, Dijon, France, June 1995},
+	Title = {{A Generic Fixpoint Semantics for Prolog and its Application for Abstract Interpretation}},
+	Year = {1993}}
+
+@article{Yan97,
+	Author = {Wuu Yang},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Information Science and Engineering},
+	Note = {accepted},
+	Title = {{A Lattice Framework for Analyzing Context-free Languages with Applications in Parser Simplification and Data-flow Analysis}},
+	Year = 1997}
+
+@article{Bru91,
+	Author = {Maurice Bruynooghe},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = {1/2/3/4},
+	Pages = {91-124},
+	Title = {A {P}ractical {F}ramework for the {A}bstract {I}nterpretation of {L}ogic {P}rograms},
+	Volume = 10,
+	Year = 1991}
+
+@inproceedings{Costan05,
+	Author = {Alexandru Costan and Stephane Gaubert and Eric Goubault and Matthieu Martel and Sylvie Putot},
+	Booktitle = {Computer Aided Verification, 17th Int. Conf. (CAV)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {462-475},
+	Publisher = {LNCS 3576, Springer Verlag},
+	Title = {{A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.}},
+	Year = {2005}}
+
+@inproceedings{DBLP:conf/esop/GaubertGTZ07,
+	Author = {Stephane Gaubert and Eric Goubault and Ankur Taly and Sarah Zennou},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ESOP},
+	Crossref = {DBLP:conf/esop/2007},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-71316-6_17},
+	Pages = {237-252},
+	Title = {Static Analysis by Policy Iteration on Relational Domains},
+	Year = {2007}}
+
+@phdthesis{Nil89,
+	Author = {Ulf Nilsson},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	School = {Department of Computer Science and Information Science, Link{\"o}ping University, Sweden},
+	Title = {A {S}ystematic {A}pproach to {A}bstract {I}nterpretation of {L}ogic {P}rograms},
+	Year = 1989}
+
+@inproceedings{Cle91,
+	Address = {Bordeaux, France},
+	Author = {Eric Villemont de la Clergerie},
+	Booktitle = {JTASPEFL'91},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {Billaud, M. and al.},
+	Pages = {151--156},
+	Publisher = {Bigre 74},
+	Title = {A {T}ool for {A}bstract {I}nterpretation: {D}ynamic {P}rogramming},
+	Year = 1991}
+
+@techreport{ChaHen92,
+	Author = {Baudouin Le Charlier and Pascal Van Hentenryck},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Institution = {Brown University, Providence, RI 02912},
+	Number = {CS-92-25},
+	Title = {{A Universal Top-Down Fixpoint Algorithm}},
+	Year = {1992}}
+
+@inproceedings{Bou93,
+	Author = {Francois Bourdoncle},
+	Booktitle = {ACM Conference on Programming Language Design and Implementation (PLDI)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {46-55},
+	Publisher = {SIGPLAN Notices 28(6)},
+	Title = {{Abstract Debugging of Higher-Order Imperative Programs}},
+	Year = {1993}}
+
+@article{Cou92a,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = {2\&3},
+	Title = {{Abstract Interpretation and Application to Logic Programs}},
+	Volume = {13},
+	Year = 1992}
+
+@article{Kanamori93,
+	Author = {T.\ Kanamori and T.\ Kawamura},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Month = {January},
+	Number = {1-2},
+	Pages = {1-30},
+	Title = {{Abstract Interpretation Based on OLDT Resolution}},
+	Volume = {15},
+	Year = {1993}}
+
+@article{Bou92,
+	Author = {Francois Bourdoncle},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Functional Programming},
+	Number = {4},
+	Pages = {407-435},
+	Title = {{Abstract Interpretation by Dynamic Partioning}},
+	Volume = {2},
+	Year = {1992}}
+
+@article{Cou92b,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {{Journal of Logic and Computation}},
+	Number = {4},
+	Pages = {511--547},
+	Title = {{Abstract Interpretation Frameworks}},
+	Volume = {2},
+	Year = 1992}
+
+@inproceedings{Cou97,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Booktitle = {Proceedings of 6th International Conference on Algebraic Methodology and Software Technology (AMAST)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {138-154},
+	Publisher = {Springer, LNCS 1349},
+	Title = {{Abstract Interpretation of Algebraic Polynomial Systems}},
+	Year = {1997}}
+
+@techreport{HenDegChaMic93,
+	Author = {Pascal Van Hentenryck and Olivier Degimbe and Baudouin Le Charlier and Laurent Michel},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Institution = {Brown University, Providence, RI 02912},
+	Number = {CS-93-05},
+	Title = {{Abstract Interpretation of Prolog Based on OLDT Resolution}},
+	Year = {1993}}
+
+@inproceedings{Sch96,
+	Author = {David A. Schmidt},
+	Booktitle = {Proceedings of the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {Mads Dam},
+	Month = {June},
+	Place = {Stockholm},
+	Publisher = {LNCS 1192, Springer Verlag},
+	Title = {{Abstract Interpretation of Small-Step Semantics}},
+	Year = {1996}}
+
+@article{Abr90,
+	Author = {Samson Abramsky},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Logic and Computation},
+	Pages = {5-40},
+	Title = {{Abstract Interpretation, Logical Relations, and Kan extensions}},
+	Volume = {2},
+	Year = {1990}}
+
+@phdthesis{Fec97,
+	Address = {Saarbr{\"u}cken},
+	Author = {Christian Fecht},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	School = {Universit{\"a}t des Saarlandes},
+	Title = {{Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung}},
+	Year = {1997}}
+
+@book{RanRus64,
+	Author = {B. Randell and L.J. Russell},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Academic Press, New York},
+	Title = {{Algol 60 Implementation}},
+	Year = {1964}}
+
+@inproceedings{LeCharlier94z,
+	Address = {Ithaca NY, USA},
+	Author = {Baudouin Le Charlier and S.\ Rossi and Pascal Van Hentenryck},
+	Booktitle = {Proceedings of the International Logic Programming Symposium ({ILPS}'94)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {Bruynooghe, M.},
+	Month = nov,
+	Publisher = {MIT Press},
+	Title = {{An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut}},
+	Year = 1994}
+
+@inproceedings{Son86,
+	Author = {Harald S{\o}ndergaard},
+	Booktitle = {Proceedings of 1st European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {327-338},
+	Publisher = {LNCS 213, Springer Verlag},
+	Title = {{An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction}},
+	Year = {1986}}
+
+@inproceedings{FecSei96,
+	Author = {Christian Fecht and Helmut Seidl},
+	Booktitle = {Proceedings of 3rd Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Note = {Long version to appear in {\em Science of Computer Programming (SCP)}},
+	Pages = {189-204},
+	Publisher = {LNCS 1145, Springer Verlag},
+	Title = {{An Even Faster Solver for General Systems of Equations}},
+	Year = {1996}}
+
+@inproceedings{MarAltWil98,
+	Author = {Florian Martin and Martin Alt and Reinhard Wilhelm},
+	Booktitle = {Proceedings Compiler Construction, 7th Int.\ Conference (CC)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {80-94},
+	Publisher = {LNCS 1383, Springer Verlag},
+	Title = {{Analysis of Loops}},
+	Year = {1998}}
+
+@phdthesis{Cle-PhD,
+	Address = {Paris, France},
+	Author = {Eric Villemonte de la Clergerie},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Month = jun,
+	School = {Universit\'e Paris VII},
+	Title = {{Automates \`a Piles et Programmation Dynamique : DyALog, Application \`a la Programmation en Logique}},
+	Year = {1993}}
+
+@phdthesis{Ram93,
+	Author = {G.\ Ramalingam},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	School = {Computer Sciences Department, University of Wisconsin, Madison},
+	Title = {Bounded Incremental Computation},
+	Year = 1993}
+
+@book{Ram96,
+	Author = {G.\ Ramalingam},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {LNCS 1089, Springer Verlag},
+	Title = {{Bounded Incremental Computation}},
+	Year = {1996}}
+
+@inproceedings{Braem94,
+	Address = {Ithaca NY, USA},
+	Author = {C.\ Braem and Baudouin Le Charlier and S.\ Modard and Pascal Van Hentenryck},
+	Booktitle = {Proceedings of the International Logic Programming Symposium ({ILPS}'94)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {Bruynooghe, M.},
+	Month = nov,
+	Publisher = {MIT Press},
+	Title = {{Cardinality Analysis of Prolog}},
+	Year = {1994}}
+
+@article{CouCou91a,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {BIGRE},
+	Month = oct,
+	Pages = {107--110},
+	Publisher = {IRISA, Ren\-nes, France},
+	Title = {{Comparison of the {G}alois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFL '91, {B}ordeaux}},
+	Volume = 74,
+	Year = 1991}
+
+@book{WilMau95,
+	Author = {R. Wilhelm and D. Maurer},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Addison-Wesley},
+	Title = {Compiler Design},
+	Year = 1995}
+
+@techreport{Lan88,
+	Author = {Lang, Bernard},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Institution = {INRIA},
+	Number = 913,
+	Title = {{Complete Evaluation of {H}orn Clauses: an Automata Theoretic Approach}},
+	Year = 1988}
+
+@inproceedings{Bjork2003,
+	Author = {Henrik Bjorklund and Sven Sandberg and Sergei Vorobyov},
+	Booktitle = {Proc. 5th Int. Andrei Ershov Memorial Conf. Perspectives of System Informatics},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {381--394},
+	Publisher = {LNCS 2890, Springer},
+	Title = {{Complexity of Model Checking by Iterative Improvement: the Pseudo-Boolean Framework }},
+	Year = 2003}
+
+@proceedings{DBLP:conf/cav/2000,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CAV},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {E. Allen Emerson and A. Prasad Sistla},
+	Isbn = {3-540-67770-4},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
+	Volume = {1855},
+	Year = {2000}}
+
+@article{Cho62,
+	Author = {Noam Chomsky},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Quart.\ Prog.\ Dept.},
+	Pages = {187-194},
+	Publisher = {MIT Res. Lab. Elect.},
+	Title = {{Context-free Grammars and Pushdown Storage}},
+	Volume = {65},
+	Year = {1962}}
+
+@inproceedings{Shi88,
+	Author = {Olin Shivers},
+	Booktitle = {Proceedings of ACM-SIGPLAN Conference on Programming Languages Design and Implementation (PLDI)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {164-174},
+	Publisher = {SIGPLAN Notices},
+	Title = {{Control-Flow Analysis in Scheme}},
+	Volume = {23(7)},
+	Year = {1988}}
+
+@inproceedings{JonMyc86,
+	Author = {Neil D.\ Jones and Alan Mycroft},
+	Booktitle = {Proceedings of 13th ACM Symposium on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {296-306},
+	Publisher = {ACM Press},
+	Title = {{Data Flow Analysis of Applicative Programs Using Minimal Function Graphs}},
+	Year = {1986}}
+
+@article{Poe53,
+	Author = {W.L.\ Van Der Poel},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Applied Scientific Research (B)},
+	Pages = {190-198},
+	Title = {{Dead Programmes for a Magnetic Drum Automatic Computer}},
+	Volume = {3},
+	Year = {1953}}
+
+@inproceedings{HorRepSag95c,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {Proceedings of 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Month = oct,
+	Pages = {104-115},
+	Title = {{Demand Interprocedural Dataflow Analysis}},
+	Year = {1995}}
+
+@inproceedings{DueGupSof95,
+	Author = {Evelyn Duesterwald and Rajiv Gupta and Mary Lou Soffa},
+	Booktitle = {Proceedings of 22nd ACM Symposium on Principles of Programming Languages ({POPL})},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {37-48},
+	Publisher = {ACM Press},
+	Title = {{Demand-driven Computation of Interprocedural Data Flow}},
+	Year = {1995}}
+
+@article{MarSonJon94,
+	Author = {Kim Marriott and Harald S{\o}ndergaard and Neil D. Jones},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {ACM Transactions of Programming Languages and Systems {(TOPLAS)}},
+	Number = 3,
+	Pages = {607-648},
+	Title = {{Denotational Abstract Interpretation of Logic Programs}},
+	Volume = {16},
+	Year = {1994}}
+
+@inproceedings{SeiFec97a,
+	Author = {Helmut Seidl and Christian Fecht},
+	Booktitle = {{International Logic Programming Symposium (ILPS)}},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {408},
+	Publisher = {MIT Press},
+	Title = {{Disjunctive Completion Is Not ``Optimal''}},
+	Year = 1997}
+
+@book{Howard,
+	Author = {R. Howard},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Wiley, New York},
+	Title = {{Dynamic Programming and Markov Processes}},
+	Year = {1960}}
+
+@article{ChaCorHen95,
+	Author = {Baudouin Le Charlier and Agostino Cortesi and Pascal Van Hentenryck},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = 3,
+	Pages = {237-278},
+	Title = {{Evaluation of the Domain {PROP}}},
+	Volume = {23},
+	Year = {1995}}
+
+@article{ChaHen94,
+	Author = {Baudouin Le Charlier and Pascal Van Hentenryck},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {ACM Transactions of Programming Languages and Systems {(TOPLAS)}},
+	Number = 1,
+	Pages = {35-101},
+	Title = {{Experimental Evaluation of a Generic Abstract Interpretation Algorithm for {P}rolog}},
+	Volume = {16},
+	Year = {1994}}
+
+@book{Hec77,
+	Author = {Matthew S.\ Hecht},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Elsevier, North Holland},
+	Title = {{Flow Analysis of Computer Programs}},
+	Year = {1977}}
+
+@inproceedings{UhlHor94,
+	Author = {J. Uhl and R.N. Horspool},
+	Booktitle = {Proc. of the Fifth Int. Conf. on Comp. Construct.},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {P.A. Fritzson},
+	Location = {Edinburgh, U.K.},
+	Pages = {203-217},
+	Publisher = {Lec. Notes in Comp. Sci. 786, Springer Verlag},
+	Title = {Flow grammars: A flow analysis methodology},
+	Year = 1994}
+
+@article{Cou83,
+	Author = {Bruno Courcelle},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Theoretical Computer Science (TCS)},
+	Pages = {95-169},
+	Title = {{Fundamental Properties of Infinite Trees}},
+	Volume = 25,
+	Year = 1983}
+
+@phdthesis{Moe85,
+	Author = {Ulrich M\"oncke},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	School = {Universit{\"a}t des {S}aarlandes},
+	Title = {{G}enerierung von {S}ystemen zur Transformation attributierter {O}peratorb\"aume, -- {K}omponenten des {S}ystems und {M}echanismen der {G}enerierung},
+	Year = 1985}
+
+@inproceedings{Fec95,
+	Author = {Christian Fecht},
+	Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {418-419},
+	Publisher = {LNCS 983, Springer Verlag},
+	Title = {{GENA - A Tool for Generating Prolog Analyzers from Specifications}},
+	Year = {1995}}
+
+@inproceedings{AltMar95,
+	Author = {Martin Alt and Florian Martin},
+	Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {33-50},
+	Publisher = {LNCS 983, Springer Verlag},
+	Title = {{Generation of Efficient Interprocedural Analyzers with PAG}},
+	Year = {1995}}
+
+@article{EngChaHen93,
+	Author = {Vincent Englebert and Baudouin Le Charlier and Didier Roland and Pascal Van Hentenryck},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Software -- Practice and Experience},
+	Number = 4,
+	Pages = {419-459},
+	Title = {{Generic Abstract Interpretation Algorithms for {P}rolog: Two Optimization Techniques and their Experimental Evaluation}},
+	Volume = {23},
+	Year = {1993}}
+
+@inproceedings{MoeWil91,
+	Author = {Ulrich M{\"o}ncke and Reinhard Wilhelm},
+	Booktitle = {Attribute Grammars, Applications and Systems},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {H. Alblas and B. Melichar},
+	Pages = {151--186},
+	Publisher = {LNCS 545, Springer Verlag},
+	Title = {{Grammar Flow Analysis}},
+	Year = {1991}}
+
+@inproceedings{Cou94,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Booktitle = {Proceedings of International IEEE Conference on Computer Languages (ICCL)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {95-112},
+	Title = {{Higher-Order Abstract Interpretation (and Application to Comportment analysis Generalizing Strictness, Termination, Projection and {PER} Analysis of Functional Languages)}},
+	Year = {1994}}
+
+@inproceedings{FilRan94,
+	Author = {Gilberto Fil{\'e} and Francesco Ranzato},
+	Booktitle = {Proceedings of International Symposium on Logic Programming (SLP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {655-669},
+	Publisher = {MIT Press},
+	Title = {{Improving Abstract Interpretations by Systematic Lifting to the Powerset}},
+	Year = {1994}}
+
+@inproceedings{KraBer95,
+	Author = {Andreas Krall and Thomas Berger},
+	Booktitle = {International Conference on Logic Programming (ICLP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {333-347},
+	Publisher = {MIT Press},
+	Title = {{Incremental Global Compilation of Prolog with the Vienna Abstract Machine}},
+	Year = {1995}}
+
+@inproceedings{Cou92,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Booktitle = {Proceedings of 19th ACM Symposium on Principles of Programming Languages {(POPL)}},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {83-94},
+	Publisher = {ACM Press},
+	Title = {{Inductive Definitions, Semantics and Abstract Interpretation}},
+	Year = {1992}}
+
+@article{CleBar97,
+	Author = {Eric Villemonte de la Clergerie and Francois Barth{\'e}lemy},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Theoretical Computer Science (TCS)},
+	Number = {1\&2},
+	Pages = {167-198},
+	Title = {{Information Flow in Tabular Interpretations for Generalized Pushdown Automata}},
+	Volume = {199},
+	Year = {1998}}
+
+@article{DebPro97,
+	Author = {Saumya K.\ Debray and Todd Proebsting},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
+	Month = {July},
+	Number = 4,
+	Pages = {568-585},
+	Title = {{Inter-procedural Control Flow Analysis of First Order Programs with Tail Call Optimization}},
+	Volume = {19},
+	Year = {1997}}
+
+@inproceedings{Bou90,
+	Author = {Francois Bourdoncle},
+	Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {307-323},
+	Publisher = {LNCS 456, Springer Verlag},
+	Title = {{Interprocedural Abstract Interpretation of Block-Structured Languages with Nested Procedures, Aliasing and Recursivity}},
+	Year = {1990}}
+
+@article{SeiFec99,
+	Author = {Helmut Seidl and Christian Fecht},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Journal on Logic Programming (JLP)},
+	Note = {To appear},
+	Title = {{Interprocedural Analyses: A Comparison}},
+	Year = 1999}
+
+@inproceedings{SeiFec97,
+	Author = {Helmut Seidl and Christian Fecht},
+	Booktitle = {{Verification, Model Checking and Abstract Interpretation. A Workshop in Association with ILPS'97}},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Title = {{Interprocedural Analysis Based on PDAs}},
+	Year = {1997}}
+
+@inproceedings{MoeWil82,
+	Author = {Ulrich M{\"o}ncke and Reinhard Wilhelm},
+	Booktitle = {Proceedings of 8th GI Conference on Graph-Theoretical Concepts in Computer Science},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Editor = {H.\ G{\"o}ttler},
+	Pages = {177-194},
+	Publisher = {Hanser Verlag},
+	Title = {{Iterative Algorithms on Grammar Graphs}},
+	Year = {1982}}
+
+@article{Seidl1996,
+	Author = {Helmut Seidl},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Nordic Journal of Computing (NJC)},
+	Number = {1},
+	Pages = {41-62},
+	Title = {{Least and Greatest Solutions of Equations over {$\cal N$}}},
+	Volume = {3},
+	Year = {1996}}
+
+@book{WilMau94,
+	Author = {R. Wilhelm and D. Maurer},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Masson},
+	Title = {Les compilateurs. th\'{e}orie. construction. g\'{e}n\'{e}ration.},
+	Year = 1994}
+
+@book{Puterman,
+	Author = {Martin L. Puterman},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Publisher = {Wiley, New York},
+	Title = {{Markov Decision Processes: Discrete Stochastic Dynamic Programming}},
+	Year = {1994}}
+
+@article{Warren92,
+	Author = {David S. Warren},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {CACM},
+	Number = 3,
+	Pages = {93-111},
+	Title = {{Memoing for {L}ogic {P}rograms}},
+	Volume = {35},
+	Year = 1992}
+
+@article{KamUll77,
+	Author = {John B. Kam and Jeffrey D. Ullman},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Journal = {Acta Informatica},
+	Pages = {309-317},
+	Title = {{Monotone Data Flow Analysis Frameworks}},
+	Volume = {7},
+	Year = {1977}}
+
+@inproceedings{Grumberg05,
+	Author = {S. Shoham and O. Grumberg},
+	Booktitle = {3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:54 +0200},
+	Pages = {11-25},
+	Publisher = {LNCS 3707, Springer},
+	Title = {{Multi-Valued Model Checking Games}},
+	Year = 2005}
+
+@inproceedings{Sch95,
+	Author = {David A. Schmidt},
+	Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {1-18},
+	Publisher = {LNCS 983, Springer Verlag},
+	Title = {{Natural-Semantics-Based abstract Interpretation (Preliminary Version)}},
+	Year = {1995}}
+
+@inproceedings{PitSta93,
+	Author = {Andrew M. Pitts and Ian D.B. Stark},
+	Booktitle = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science (MFCS)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {122-141},
+	Publisher = {LNCS 711, Springer Verlag},
+	Title = {{Observable Properties of Higher Order Functions that Dynamically Create Local Names, or: What's {\em new}?}},
+	Year = {1993}}
+
+@inproceedings{SatoTamaki86,
+	Author = {Taisuke Sato and Hisao Tamaki},
+	Booktitle = {Proceedings of 3rd International Conference on Logic Programming (ICLP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Ehud Y. Shapiro},
+	Pages = {84-98},
+	Publisher = {LNCS 225, Springer Verlag},
+	Title = {{OLD} {R}esolution with {T}abulation},
+	Year = 1986}
+
+@inproceedings{Tamaki86,
+	Address = {London, England},
+	Author = {Tamaki, H. and Sato, T.},
+	Booktitle = {Proceedings of the Third International Conference on Logic Programming ({ICLP}'86)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Shapiro, E.},
+	Month = {July},
+	Pages = {84-98},
+	Publisher = {Springer-Verlag},
+	Series = {Lecture Notes in Computer Science},
+	Title = {{OLD}-resolution with Tabulation},
+	Volume = 225,
+	Year = {1986}}
+
+@article{Sch63,
+	Author = {Marcel Paul Sch{\"u}tzenberger},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Information and Control},
+	Pages = {246-264},
+	Title = {{On Context-free Languages and Pushdown Automata}},
+	Volume = {6},
+	Year = {1963}}
+
+@inproceedings{Deu90,
+	Author = {Alain Deutsch},
+	Booktitle = {Proceedings of 17th ACM Symposium on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {157-168},
+	Publisher = {ACM Press},
+	Title = {{On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications}},
+	Year = {1990}}
+
+@article{HoffmanKarp,
+	Author = {A.J. Hoffman and R.M. Karp},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Management Sci.},
+	Pages = {359--370},
+	Title = {{On Nonterminating Stochastic Games}},
+	Volume = {12},
+	Year = {1966}}
+
+@inproceedings{Megiddo87,
+	Author = {Nimrod Megiddo},
+	Booktitle = {Advances in Economic Theory: 5th World Congress},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {T. Bewley},
+	Pages = {225-268},
+	Publisher = {Cambridge University Press},
+	Title = {{On the Complexity of Linear Programming}},
+	Year = {1987}}
+
+@article{CorFilWin96,
+	Author = {Agostino Cortesi and Gilberto Fil{\'e} and William H. Winsborough},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = 2,
+	Pages = {137-167},
+	Title = {{Optimal Groundness Analysis Using Propositional Logic}},
+	Volume = {27},
+	Year = {1996}}
+
+@techreport{Gawlitza06,
+	Author = {Thomas Gawlitza and Jan Reineke and Helmut Seidl and Reinhard Wilhelm},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Institution = {TU M{\"u}nchen},
+	Title = {{Polynomial Exact Interval Analysis Revisited}},
+	Year = 2006}
+
+@article{MarSon93,
+	Author = {Kim Marriott and Harald S{\o}ndergaard},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {ACM Letters on Programming Languages and Systems {(LOPLAS)}},
+	Pages = {181-196},
+	Title = {{Precise and Efficient Groundness Analysis for Logic Programs}},
+	Volume = 2,
+	Year = {1993}}
+
+@inproceedings{HorRepSag95a,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {Proceedings of 22nd ACM Symposium on Principles of Programming Languages ({POPL})},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {49-61},
+	Publisher = {ACM Press},
+	Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}},
+	Year = {1995}}
+
+@inproceedings{HorRepSag95b,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {Proceedings of 6th International Conference on Theory and Practice of Software Development ({TAPSOFT})},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {651-665},
+	Publisher = {LNCS 915, Springer Verlag},
+	Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}},
+	Year = {1995}}
+
+@article{HorRepSag96,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Theoretical Computer Science},
+	Number = {1\&2},
+	Pages = {131-170},
+	Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}},
+	Volume = {167},
+	Year = {1996}}
+
+@inproceedings{FecSei98,
+	Author = {Christian Fecht and Helmut Seidl},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Note = {Long version in {\em Northern Journal of Computing 5, 304-329,1998}},
+	Pages = {90-104},
+	Publisher = {LNCS 1381, Springer Verlag},
+	Title = {{Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems}},
+	Year = {1998}}
+
+@article{McC60,
+	Author = {John McCarthy},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {CACM},
+	Number = 4,
+	Pages = {184-195},
+	Title = {Recursive {F}unctions of {S}ymbolic {E}xpressions and {T}heir {C}omputation by {M}achine},
+	Volume = 3,
+	Year = 1960}
+
+@article{HugLau94,
+	Author = {John Hughes and John Launchbury},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Science of Computer Programming (SCP)},
+	Pages = {307-326},
+	Title = {{Reversing Abstract Interpretations}},
+	Volume = {22},
+	Year = {1994}}
+
+@book{NiwinskiArnold,
+	Author = {Andr{e} Arnold and Damina Niwinski},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Publisher = {North-Holland},
+	Series = {Studies in Logic and The Foundations of Computer Science},
+	Title = {{Rudiments of $\mu$-Calculus}},
+	Volume = 146,
+	Year = 2001}
+
+@phdthesis{Bou92x,
+	Author = {Francois Bourdoncle},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	School = {{\'E}cole Polytechnique, Paris},
+	Title = {{S\'emantiques des Langages Imp\'eratifs d'Ordre Sup\'erieur et Interpr\'etation Abstraite}},
+	Year = {1992}}
+
+@incollection{Cou81,
+	Author = {Patrick Cousot},
+	Booktitle = {Program Flow Analysis: Theory and Applications},
+	Chapter = {10},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Steven S. Muchnick and Neil D. Jones},
+	Pages = {303-342},
+	Publisher = {Prentice-Hall, Inc., Englewood Cliffs, New Jersey},
+	Title = {{Semantic Foundations of Program Analysis}},
+	Year = {1981}}
+
+@book{Gun92,
+	Address = {Cambridge, Mass.},
+	Author = {Carl A. Gunter},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Publisher = {MIT Press},
+	Title = {{Semantics of Programming Languages}},
+	Year = {1992}}
+
+@inproceedings{DBLP:conf/stacs/Jurdzinski00,
+	Author = {Marcin Jurdzi{\'n}ski},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Crossref = {DBLP:conf/stacs/2000},
+	Ee = {http://link.springer.de/link/service/series/0558/bibs/1770/17700290.htm},
+	Pages = {290-301},
+	Title = {Small Progress Measures for Solving Parity Games},
+	Year = {2000}}
+
+@proceedings{DBLP:conf/stacs/2000,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Editor = {Horst Reichel and Sophie Tison},
+	Isbn = {3-540-67141-2},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings},
+	Volume = {1770},
+	Year = {2000}}
+
+@inproceedings{BroWal84,
+	Address = {Tokio, Japan},
+	Author = {D.R. Brough and Adrian Walker},
+	Booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS'84},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Institut for New Generation Computer Technology (ICOT)},
+	Month = nov,
+	Pages = {149-156},
+	Publisher = {OHMSHA Ltd. Tokyo and North-Holland,},
+	Title = {Some {P}ractical {P}roperties of {L}ogic {P}rogramming {I}nterpreters},
+	Year = 1984}
+
+@article{JacLan92,
+	Author = {Dean Jacobs and Anno Langen},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Pages = {291-314},
+	Title = {{Static Analysis of Logic Programs for Independent {AND} Parallelism}},
+	Volume = 13,
+	Year = {1992}}
+
+@inproceedings{BarVilCle92,
+	Author = {Barth\'elemy, F. P. and Villemonte de la Clergerie, E.},
+	Booktitle = {Proc. of PLILP'92},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Springer--Verlag},
+	Pages = {100--114},
+	Title = {Subsumption--oriented {P}ush--{D}own {A}utomata},
+	Year = 1992}
+
+@inproceedings{Nil90,
+	Author = {Ulf Nilsson},
+	Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {293-306},
+	Publisher = {LNCS 456, Springer Verlag},
+	Title = {Systematic {S}emantic {A}pproximations of {L}ogic {P}rograms},
+	Year = {1990}}
+
+@article{Bir80,
+	Author = {R.S. Bird},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {ACM Computing Surveys},
+	Number = 4,
+	Title = {Tabulation {T}echniques for {R}ecursive {P}rograms},
+	Volume = 12,
+	Year = 1980}
+
+@inproceedings{JouPar90,
+	Author = {M. Jourdan and D. Parigot},
+	Booktitle = {Proc. of the European Symposium on Programming'90},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {N. Jones},
+	Location = {Copenhagen},
+	Pages = {240 - 255},
+	Publisher = {Lec. Notes in Comp. Sci. 432, Springer Verlag},
+	Title = {Techniques to improve grammar flow analysis},
+	Year = 1990}
+
+@inproceedings{Astree05,
+	Author = {P{.}~Cousot and R{.}~Cousot and J{.}~Feret and L{.}~Mauborgne and A{.}~Min\'e and D{.}~Monniaux and X{.}~Rival},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {21--30},
+	Publisher = {Springer},
+	Series = {LNCS},
+	Title = {The {ASTR\'EE} {A}nalyser},
+	Volume = {3444},
+	Year = 2005}
+
+@article{Zwick96,
+	Author = {Uri Zwick and Mike Paterson},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Theoretical Computer Science (TCS)},
+	Number = {1\&2},
+	Pages = {343-359},
+	Title = {{The Complexity of Mean Payoff Games on Graphs}},
+	Volume = {158},
+	Year = {1996}}
+
+@inproceedings{HenDegChaMic93a,
+	Author = {Pascal Van Hentenryck and Olivier Degimbe and Baudouin Le Charlier and Laurent Michel},
+	Booktitle = {Proceedings of Static Analysis, 3rd International Workshop (WSA)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {1-14},
+	Publisher = {LNCS 724, Springer Verlag},
+	Title = {{The Impact of Granularity in Abstract Interpretation of Prolog}},
+	Year = {1993}}
+
+@inproceedings{KnoSte92,
+	Author = {Jens Knoop and Bernhard Steffen},
+	Booktitle = {4th International Conference on Compiler Construction},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {125-140},
+	Publisher = {LNCS 641, Springer Verlag},
+	Title = {{The Interprocedural Coincidence Theorem}},
+	Year = {1992}}
+
+@article{Lan63,
+	Author = {P. Landin},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Computer Journal},
+	Number = 4,
+	Pages = {158-165},
+	Title = {The {M}echanical {E}valuation of {E}xpressions},
+	Volume = 6,
+	Year = 1963}
+
+@phdthesis{Eve63,
+	Address = {Cambridge, Mass.},
+	Author = {J. Evey},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	School = {Harvard University},
+	Title = {{The Theory and Application of Pushdown Store Machines}},
+	Year = {1963}}
+
+@phdthesis{Puri95,
+	Author = {Anuj Puri},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	School = {University of California, Berkeley},
+	Title = {{Theory of Hybrid and Discrete Systems}},
+	Year = {1995}}
+
+@inproceedings{Nil88,
+	Author = {Ulf Nilsson},
+	Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Pages = {68-82},
+	Publisher = {LNCS 348, Springer Verlag},
+	Title = {Towards a {F}ramework for the {A}bstract {I}nterpretation of {L}ogic {P}rograms},
+	Year = {1988}}
+
+@article{KnoRueSte96,
+	Address = {London (UK)},
+	Author = {Jens Knoop and Oliver R\"{u}thing and Bernhard Steffen},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Journal = {Journal of Programming Languages},
+	Pages = {211-246},
+	Publisher = {Chapman \& Hall},
+	Series = {4},
+	Title = {{Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses}},
+	Volume = {4},
+	Year = {1996}}
+
+@incollection{ShaPnu81,
+	Author = {Micha Sharir and Amir Pnueli},
+	Booktitle = {Program Flow Analysis: Theory and Applications},
+	Chapter = {7},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Editor = {Steven S. Muchnick and Neil D. Jones},
+	Pages = {189-234},
+	Publisher = {Prentice-Hall, Inc., Englewood Cliffs, New Jersey},
+	Title = {{Two Approaches to Interprocedural Data Flow Analysis}},
+	Year = {1981}}
+
+@book{WilMau92,
+	Author = {R. Wilhelm and D. Maurer},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Publisher = {Springer-Verlag},
+	Title = {{\"U}bersetzerbau -- Theorie, Konstruktion, Generierung},
+	Year = 1992}
+
+@misc{Rep97,
+	Author = {Thomas W. Reps},
+	Date-Added = {2007-09-14 17:15:54 +0200},
+	Date-Modified = {2007-09-14 17:15:55 +0200},
+	Howpublished = {{\em Personal Communication}},
+	Month = {February},
+	Year = {1997}}
+
+@article{FecSei99,
+	Author = {C.\ Fecht and H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Science of Computer Programming (SCP)},
+	Number = {2},
+	Pages = {137-161},
+	Title = {{A Faster Solver for General Systems of Equations}},
+	Volume = {35},
+	Year = {1999}}
+
+@article{BalRam87,
+	Author = {I.\ Balbin and K.\ Ramamohanarao},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = {3},
+	Pages = {259-262},
+	Title = {{A Generalization of the Differential Approach to Recursive Query Evaluation}},
+	Volume = {4},
+	Year = {1987}}
+
+@inproceedings{Sei96a,
+	Author = {Helmut Seidl},
+	Booktitle = {IEEE Conf. on Logic in Computer Science (LICS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {128--137},
+	Title = {{A Modal $\mu$ Calculus for Durational Transition Systems}},
+	Year = {1996}}
+
+@techreport{Sei95,
+	Author = {H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Institution = {University of Trier},
+	Number = {95-08},
+	Title = {{A Modal $\mu$ Calculus for Durational Transition Systems}},
+	Year = {1995}}
+
+@inproceedings{Blanchet03,
+	Author = {B. Blanchet and P. Cousot and R. Cousot and J. Feret and C. Mauborgue and D. Mormiaux and X. Rival},
+	Booktitle = {Int. ACM Conf. on Programming Language Design and Implementation (PLDI)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {196-207},
+	Title = {{A Static Analyzer for Large Safety-Critical Software}},
+	Year = {2003}}
+
+@inproceedings{PerSei02,
+	Author = {T.\ Perst and H.\ Seidl},
+	Booktitle = {Extreme Markup Languages},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Title = {{A Type-safe Macro System for XML}},
+	Year = {2002}}
+
+@phdthesis{Fec97,
+	Address = {Saarbr{\"u}cken},
+	Author = {C.\ Fecht},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	School = {Universit{\"a}t des Saarlandes},
+	Title = {{Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung}},
+	Year = {1997}}
+
+@article{Karr76,
+	Author = {M.~Karr},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Acta Informatica},
+	Pages = {133-151},
+	Title = {{Affine Relationships Among Variables of a Program}},
+	Volume = {6},
+	Year = {1976}}
+
+@book{Lang93,
+	Author = {S.\ Lang},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Publisher = {Pearson Education, Inc.},
+	Title = {{Algebra, Third Edition}},
+	Year = {1993}}
+
+@phdthesis{Sto00,
+	Author = {A.\ Storjohann},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	School = {ETH Z{\"u}rich, Diss. ETH No. 13922},
+	Title = {{Algorithms for Matrix Canonical Forms}},
+	Year = {2000}}
+
+@inproceedings{SimonKing02,
+	Author = {A. Simon and A. King},
+	Booktitle = {Algebraic Methodology and Software Technology, 9th Int. Conf. (AMAST)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {365-379},
+	Publisher = {LNCS 2422, Springer Verlag},
+	Title = {{Analyzing String Buffers in C}},
+	Year = {2002}}
+
+@article{HafMcC91,
+	Author = {J.L.\ Hafner and K.S.\ McCurley},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {SIAM J. of Computing},
+	Number = {6},
+	Pages = {1068--1083},
+	Title = {{Asymptotically Fast Triangularization of Matrices over Rings}},
+	Volume = {20},
+	Year = {1991}}
+
+@inproceedings{NieNieSei02,
+	Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {243-261},
+	Publisher = {LNCS 2305, Springer-Verlag},
+	Title = {{Automatic Complexity Analysis}},
+	Year = {2002}}
+
+@phdthesis{Ram93,
+	Author = {G.\ Ramalingam},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	School = {Computer Sciences Department, University of Wisconsin, Madison},
+	Title = {Bounded Incremental Computation},
+	Year = 1993}
+
+@inproceedings{Sagiv01,
+	Author = {N. Dor and M. Rodeh and M. Sagiv},
+	Booktitle = {8th Int. Static Analysis Symposium (SAS'01)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {194-212},
+	Publisher = {LNCS 2126, Springer Verlag},
+	Title = {{Cleanness Checking of String Manipulations in C Programs via Integer Analysis}},
+	Year = 2001}
+
+@book{ZarSam58,
+	Author = {O. Zariski and P. Samuel},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Publisher = {Nostrand, Princeton, NJ},
+	Title = {{Commutative Algebra, Vol. I}},
+	Year = {1958}}
+
+@article{AptPlo86,
+	Author = {K.R.\ Apt and G.D.\ Plotkin},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {J.\ of the ACM (JACM)},
+	Number = {4},
+	Pages = {724--767},
+	Title = {{Computable Non-Determinism and Random Assingment}},
+	Volume = {33},
+	Year = {1986}}
+
+@article{SeiSte00,
+	Author = {H.\ Seidl and B.\ Steffen},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Nordic Journal of Computing (NJC)},
+	Number = {4},
+	Pages = {375--400},
+	Title = {{Constraint-Based Inter-Procedural Analysis of Parallel Programs}},
+	Volume = {7},
+	Year = {2000}}
+
+@inproceedings{SeiSo97,
+	Author = {H.\ Seidl and M.\ H.\ S{\o}rensen},
+	Booktitle = {ACM Symposium on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {400-413},
+	Title = {{Constraints to Stop Higher-Order Deforestation}},
+	Year = {1997}}
+
+@inproceedings{NieSei01,
+	Author = {F.\ Nielson and H.\ Seidl},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {252-268},
+	Publisher = {LNCS 2028, Springer-Verlag},
+	Title = {{Control-Flow Analysis in Cubic Time}},
+	Year = {2001}}
+
+@inproceedings{NieNieSei02a,
+	Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl},
+	Booktitle = {Electronic Notes in Theoretical Computer Science (ENTCS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Publisher = {Elsevier Science Publishers},
+	Title = {{Cryptographic Analysis in Cubic Time}},
+	Volume = {62},
+	Year = {2002}}
+
+@inproceedings{HorRepSag95c,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {3rd ACM SIGSOFT Symp.\ on the Foundations of Software Engineering (FSE)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Month = oct,
+	Pages = {104-115},
+	Title = {{Demand Interprocedural Dataflow Analysis}},
+	Year = {1995}}
+
+@article{Sei96,
+	Author = {H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Information Processing Letters (IPL)},
+	Number = {6},
+	Pages = {302-208},
+	Title = {{Fast and simple Nested Fixpoints}},
+	Volume = {59},
+	Year = {1996}}
+
+@article{Paige82,
+	Author = {B.~Paige and S.~Koenig},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {ACM Trans.\ Prog.\ Lang.\ and Syst.},
+	Number = {3},
+	Pages = {402-454},
+	Title = {{Finite Differencing of Computable Expressions}},
+	Volume = {4},
+	Year = {1982}}
+
+@article{Cou83,
+	Author = {Bruno Courcelle},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Theoretical Computer Science (TCS)},
+	Pages = {95-169},
+	Title = {{Fundamental Properties of Infinite Trees}},
+	Volume = 25,
+	Year = 1983}
+
+@inproceedings{Fec95,
+	Author = {C.\ Fecht},
+	Booktitle = {2nd Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {418-419},
+	Publisher = {LNCS 983},
+	Title = {{GENA - A Tool for Generating Prolog Analyzers from Specifications}},
+	Year = {1995}}
+
+@article{Sei94,
+	Author = {H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Information Processing Letters (IPL)},
+	Pages = {57--60},
+	Title = {{Haskell Overloading is DEXPTIME Complete}},
+	Volume = {54},
+	Year = {1994}}
+
+@article{SeiFec00,
+	Author = {H.\ Seidl and C.\ Fecht},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Journal = {Journal of Logic Programming (JLP)},
+	Number = {2},
+	Pages = {123--156},
+	Title = {{Interprocedural Analyses: A Comparison}},
+	Volume = {43},
+	Year = {2000}}
+
+@inproceedings{NeuSei98,
+	Author = {A.\ Neumann and H.\ Seidl},
+	Booktitle = {Foundations of Software Technology and Theory of Computing (FSTTCS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {134--145},
+	Publisher = {LNCS 1530, Springer-Verlag},
+	Title = {{Locating Tree Patterns in Forests}},
+	Year = {1998}}
+
+@inproceedings{NieNieSei02b,
+	Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl},
+	Booktitle = {9th Int. Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:27 +0200},
+	Pages = {20-35},
+	Publisher = {LNCS 2477, Springer-Verlag},
+	Title = {{Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi}},
+	Year = {2002}}
+
+@inproceedings{Kal92,
+	Author = {E. Kaltofen},
+	Booktitle = {Int. ACM Symp. on Symbolic and Algebraic Computation (ISSAC)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {342-349},
+	Title = {{On Computing Determinants of Matrices without Division}},
+	Year = {1992}}
+
+@inproceedings{SeiNeu99,
+	Author = {H.\ Seidl and A.\ Neumann},
+	Booktitle = {8th Computer Science Logic (CSL)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {484--498},
+	Publisher = {LNCS 1683, Springer-Verlag},
+	Title = {{On Guarding Nested Fixpoints}},
+	Year = {1999}}
+
+@article{BakMeyZuc84,
+	Author = {J.W.\ de Bakker and J.-J.Ch.~Meyer and J.I.\ Zucker},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Theoretical Computer Scince (TCS)},
+	Note = {(Corrigendum: TCS 29: 229-230,1984)},
+	Pages = {53--82},
+	Title = {{On Infinite Computations in Denotational Semantics}},
+	Volume = {26},
+	Year = {1983}}
+
+@inproceedings{MueSei01,
+	Author = {M.~M\"{u}ller-Olm and H.~Seidl},
+	Booktitle = {33th ACM Symp.\ on Theory of Computing (STOC)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {647-656},
+	Publisher = {ACM Press},
+	Title = {{On Optimal Slicing of Parallel Programs}},
+	Year = {2001}}
+
+@techreport{SeiNor02,
+	Author = {H.\ Seidl and A.V.\ Nori},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Institution = {Dept. of Computer Science and Automation, IISc, Bangalore, India},
+	Note = {To appear},
+	Title = {{On the Expressiveness of Set Operators}},
+	Year = {2002}}
+
+@inproceedings{MueSei02,
+	Author = {M.~M\"{u}ller-Olm and H.~Seidl},
+	Booktitle = {9th Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {4-19},
+	Publisher = {LNCS 2477, Springer-Verlag},
+	Title = {{Polynomial Constants are Decidable}},
+	Year = {2002}}
+
+@inproceedings{HorRepSag95a,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {22nd ACM Symp.\ on Principles of Programming Languages ({POPL})},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {49-61},
+	Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}},
+	Year = {1995}}
+
+@inproceedings{HorRepSag95b,
+	Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv},
+	Booktitle = {6th Int.\ Conf.\ on Theory and Practice of Software Development ({TAPSOFT})},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {651-665},
+	Publisher = {LNCS 915},
+	Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}},
+	Year = {1995}}
+
+@article{HorRepSag96,
+	Author = {S.\ Horwitz and T.W.\ Reps and M.\ Sagiv},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Theoretical Computer Science (TCS)},
+	Number = {1\&2},
+	Pages = {131-170},
+	Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}},
+	Volume = {167},
+	Year = {1996}}
+
+@techreport{Mue02,
+	Author = {M.\ M{\"u}ller-Olm},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Institution = {University of Trier},
+	Number = {08},
+	Title = {{Precise Interprocedural Dependence Analysis of Parallel Programs}},
+	Year = {2002}}
+
+@inproceedings{BagHil03,
+	Author = {R.\ Bagnara and P.M.\ Hill and E.\ Ricci and E.\ Zaffanella},
+	Booktitle = {10th Int.\ Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {337--354},
+	Publisher = {LNCS 2694, Springer-Verlag},
+	Title = {{Precise Widening Operators for Convex Polyhedra}},
+	Year = 2003}
+
+@article{Cai88,
+	Author = {J.~Cai and B.~Paige},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Science of Computer Programming (SCP)},
+	Pages = {197-261},
+	Title = {{Program Derivation by Fixpoint Computation}},
+	Volume = {11},
+	Year = {1988}}
+
+@article{FecSei98,
+	Author = {C.\ Fecht and H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Nordic Journal of Computing (NJC)},
+	Number = {4},
+	Pages = {304-329},
+	Title = {{Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems}},
+	Volume = {5},
+	Year = {1998}}
+
+@article{CouCou91,
+	Author = {P.\ Cousot and R.\ Cousot},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Actes JTASPEFL'91, FR. BIGRE},
+	Pages = {33--36},
+	Title = {{Relational Analysis of Higher-order Functions}},
+	Volume = {74},
+	Year = {1991}}
+
+@article{Gra89,
+	Author = {P.\ Granger},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Journal = {Int. J. of Computer Math.},
+	Pages = {165--190},
+	Title = {{Static Analysis of Arithmetical Congruences}},
+	Year = {1989}}
+
+@inproceedings{Gra91,
+	Author = {P.\ Granger},
+	Booktitle = {Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {169--192},
+	Publisher = {LNCS 493, Springer-Verlag},
+	Title = {{Static Analysis of Linear Congruence Equalities among Variables of a Program}},
+	Year = {1991}}
+
+@techreport{NieSei01a,
+	Author = {F.\ Nielson and H.\ Seidl},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Institution = {University of Trier, Germany},
+	Number = {01-12},
+	Title = {{Succinct Solvers}},
+	Year = {2001}}
+
+@inproceedings{CouCou79,
+	Author = {P.\ Cousot and R.\ Cousot},
+	Booktitle = {6th ACM Symp.\ on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {238--352},
+	Title = {{Systematic Design of Program Analysis Frameworks}},
+	Year = 1979}
+
+@inproceedings{MueRue01,
+	Author = {Markus M\"{u}ller-Olm and Oliver R\"{u}thing},
+	Booktitle = {10th European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {190-205},
+	Publisher = {LNCS 2028, Springer-Verlag},
+	Title = {{The Complexity of Constant Propagation}},
+	Year = {2001}}
+
+@inproceedings{SimonKing02a,
+	Author = {A. Simon and A. King and J.M. Howe},
+	Booktitle = {Logic Based Program Synthesis and Tranformation, 12th Int. Workshop (LOPSTR)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {71-89},
+	Publisher = {LNCS 2664, Springer Verlag},
+	Title = {{Two Variables per Inequalities as an Abstract Domain}},
+	Year = {2002}}
+
+@inproceedings{Hym05,
+	Author = {C. Hymans},
+	Booktitle = {Verification, Model-Checking and Abstract Interpretation: 6th Int. Conf. (VMCAI)},
+	Date-Added = {2007-09-14 17:07:27 +0200},
+	Date-Modified = {2007-09-14 17:07:28 +0200},
+	Pages = {330-345},
+	Publisher = {LNCS 3385, Springer-Verlag},
+	Title = {{Verification of Error Correcting Code by Abstract Interpretation}},
+	Year = {2005}}
+
+@techreport{storjohann96TR255,
+	Author = {Arne Storjohann},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Institution = {ETH Z{\"u}rich, Department of Computer Science},
+	Number = 255,
+	Title = {A Fast, Practical, and Deterministic Algorithm for Triangularizing Integer Matrices},
+	Year = 1996}
+
+@inproceedings{MOSeidlICALP04,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Booktitle = {31st Int. Coll. on Automata, Languages and Programming (ICALP)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Pages = {1016-1028},
+	Publisher = {Springer Verlag, LNCS 3142},
+	Title = {{A Note on {K}arr's Algorithm}},
+	Year = {2004}}
+
+@phdthesis{LerouxPHD,
+	Author = {J{\'e}r{\^o}me Leroux},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	School = {Ecole Normale Sup{\'e}rieure de Cachan},
+	Title = {Algorithmique de la V{\'e}rification des Syst{\`e}mes {\`a} Compteurs: Approximation et Acc{\'e}l{\'e}ration},
+	Year = 2003}
+
+@book{Geddes92,
+	Author = {Keith O. Geddes and Stephen R. Czapor and George Labahn},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Publisher = {Kluwer},
+	Title = {Algorithms for Computer Algebra},
+	Year = 1992}
+
+@inproceedings{MOSeidlESOP05,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Pages = {46-60},
+	Publisher = {Springer Verlag, LNCS 3444},
+	Title = {{Analysis of Modular Arithmetic}},
+	Year = {2005}}
+
+@inproceedings{RepsCC04,
+	Author = {Gogul Balakrishnan and Thomas W. Reps},
+	Booktitle = {Compiler Construction, 13th Int. Conf. (CC)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Pages = {5--23},
+	Publisher = {LNCS 2985. Springer-Verlag},
+	Title = {{Analyzing Memory Accesses in x86 Executables}},
+	Year = {2004}}
+
+@article{Bjoerner97,
+	Author = {Nikolaj Bj{\o}rner and Anca Browne and Zohar Manna},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Journal = {Theoretical Computer Science},
+	Number = 1,
+	Pages = {49-87-},
+	Title = {Automatic Generation of Invariants and Intermediate Assertions},
+	Volume = 173,
+	Year = 1997}
+
+@book{Papadimitriou94,
+	Author = {Christos H. Papadimitriou},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Publisher = {Addison-Wesley},
+	Title = {Computational Complexity},
+	Year = 1994}
+
+@book{Davenport88,
+	Author = {J. H. Davenport and Y. Siret and E. Tournier},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Publisher = {Academic Press},
+	Title = {Computer Algebra: Systems and Algorithms for Algebraic Computation},
+	Year = 1988}
+
+@book{Garey79,
+	Author = {Michael R. Garey and David S. Johnson},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Publisher = {W. H. Freeman and Company},
+	Title = {Computers and Intractability: A Guide to the Theory of NP-Completeness},
+	Year = 1978}
+
+@techreport{MOSeidl03aTR,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Institution = {FB4-Mathematik/Informatik of Trier University},
+	Month = {January},
+	Title = {Computing Interprocedurally Valid Relations in Affine Programs},
+	Year = 2003}
+
+@unpublished{MueSei04submit,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Note = {accepted for publication in Information Processing Letters (IPL)},
+	Title = {{Computing Polynomial Program Invariants}},
+	Year = 2004}
+
+@article{MOSeidlIPL04,
+	Author = {Markus M{\"u}ller-Olm and Helmut Seidl},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Journal = {Information Processing Letters (IPL)},
+	Number = {5},
+	Pages = {233-244},
+	Title = {{Computing Polynomial Program Invariants}},
+	Volume = {91},
+	Year = {2004}}
+
+@article{Cousot97a,
+	Author = {P.~Cousot},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Journal = {Electronic Notes in Theoretical Computer Science},
+	Note = {\small URL: \texttt{www.elsevier.nl/locate/entcs/volume6.html}},
+	Title = {{Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation}},
+	Volume = 6,
+	Year = 1997}
+
+@article{Apt86a,
+	Author = {K.~R.~Apt and G.~D.~Plotkin},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:38 +0200},
+	Journal = {Journal of the {ACM}},
+	Number = 4,
+	Pages = {724--767},
+	Title = {{Countable Nondeterminism and Random Assignment}},
+	Volume = 33,
+	Year = 1986}
+
+@book{FiLeBl88,
+	Author = {C.N. Fischer and R.J. LeBlanc},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Benjamin/Cummings Publishing Co., Inc., Menlo Park, CA},
+	Title = {{Crafting a Compiler}},
+	Year = {1988}}
+
+@inproceedings{Gulwani03a,
+	Author = {S.\ Gulwani and G.C.\ Necula},
+	Booktitle = {30th ACM Symp. on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {74--84},
+	Title = {{Discovering Affine Equalities Using Random Interpretation}},
+	Year = 2003}
+
+@inproceedings{Gulwani03aLangerBooktitle,
+	Author = {S.\ Gulwani and G.C.\ Necula},
+	Booktitle = {30th Ann. ACM Symp. on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {74--84},
+	Title = {{Discovering Affine Equalities Using Random Interpretation}},
+	Year = 2003}
+
+@book{Hecht77,
+	Author = {Matthew S. Hecht},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Elsevier North-Holland},
+	Title = {Flow analysis of computer programs},
+	Year = 1977}
+
+@article{MOSeidlVene03,
+	Author = {Helmut Seidl and Varmo Vene and Markus M{\"u}ller-Olm},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Journal = {Proc. of Estonian Academy of Sciences: Phys., Math.},
+	Number = {4},
+	Pages = {413--436},
+	Title = {{Global Invariants for Analysing Multi-Threaded Applications}},
+	Volume = {52},
+	Year = {2003}}
+
+@techreport{MOSeidlSteffenTR790,
+	Author = {Markus M{\"u}ller-Olm and Helmut Seidl and Bernhard Steffen},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Institution = {Fachbereich Informatik, Universit{\"a}t Dortmund},
+	Number = {790},
+	Title = {{Interprocedural Analysis for Free}},
+	Year = {2004}}
+
+@inproceedings{MOSeidlSteffenESOP05,
+	Author = {Markus M\"uller-Olm and Helmut Seidl and Bernhard Steffen},
+	Booktitle = {European Symposium on Programming (ESOP)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {31-45},
+	Publisher = {Springer Verlag, LNCS 3444},
+	Title = {{Interprocedural Analysis of Herbrand Equalities}},
+	Year = {2005}}
+
+@techreport{MOSeidlTR789,
+	Author = {Markus M{\"u}ller-Olm and Helmut Seidl},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Institution = {Fachbereich Informatik, Universit{\"a}t Dortmund},
+	Number = {789},
+	Title = {{Interprocedural Analysis of Modular Arithmetic}},
+	Year = {2004}}
+
+@techreport{Kam75a,
+	Address = {Princeton, NJ},
+	Author = {J. B. Kam and Jeffrey D. Ullman},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Institution = {Department of Electrical Engineering, Princeton University},
+	Number = 169,
+	Title = {Monotone Data Flow Analysis Frameworks},
+	Year = 1975}
+
+@inproceedings{Stef87-C,
+	Author = {Bernhard Steffen},
+	Booktitle = {Proc. 2nd International Joint Conference on Theory and Practice of Software Development (TAPSOFT'87)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {52--68},
+	Publisher = {Springer Verlag},
+	Series = {LNCS 249},
+	Title = {{Optimal Run Time Optimization---Proved by a New Look at Abstract Interpretations}},
+	Year = {1987}}
+
+@misc{CousotCommunication,
+	Author = {Patrick Cousot},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Title = {{Personal Communication}}}
+
+@book{Winkler96,
+	Author = {F. Winkler},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Springer-Verlag},
+	Title = {Polynomial Algorithms},
+	Year = 1996}
+
+@inproceedings{Bensalem96a,
+	Author = {Saddek Bensalem and Yassine Lakhnech and Hassen Saidi},
+	Booktitle = {8th Int. Conf. on Computer Aided Verification (CAV)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Powerful Techniques for the Automatic Generation of Invariants},
+	Volume = 1102,
+	Year = 1996}
+
+@inproceedings{MOSeidlPOPL04accept,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {330-341},
+	Title = {Precise Interprocedural Analysis through Linear Algebra},
+	Year = {2004}}
+
+@inproceedings{MOSeidlPOPL04,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {330--341},
+	Title = {{Precise Interprocedural Analysis through Linear Algebra}},
+	Year = 2004}
+
+@inproceedings{MOSeidlPOPL04LangerBooktitle,
+	Author = {Markus M\"uller-Olm and Helmut Seidl},
+	Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {330--341},
+	Title = {{Precise Interprocedural Analysis through Linear Algebra}},
+	Year = 2004}
+
+@inproceedings{Gulwani05,
+	Author = {S.\ Gulwani and G.C.\ Necula},
+	Booktitle = {32th Ann. ACM Symp. on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {324--337},
+	Title = {{Precise Interprocedural Analysis Using Random Interpretation}},
+	Year = 2005}
+
+@inproceedings{reps95:_precis,
+	Author = {T.\ Reps and S.\ Horwitz and M.\ Sagiv},
+	Booktitle = {22nd ACM Symp.\ on Principles of Programming Languages (POPL)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {49--61},
+	Publisher = {ACM Press},
+	Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}},
+	Year = 1995}
+
+@book{Duffy91,
+	Author = {David Duffy},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Wiley},
+	Title = {Principles of Automated Theorem Proving},
+	Year = 1991}
+
+@book{Muchnick81,
+	Address = {Engelwood Cliffs, New Jersey},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Editor = {S. S. Muchnick and N. D. Jones},
+	Publisher = {Prentice Hall},
+	Title = {{Program Flow Analysis: Theory and Applications}},
+	Year = 1981}
+
+@inproceedings{Reif77a,
+	Author = {John R. Reif and Harry R. Lewis},
+	Booktitle = {4th~{ACM} Symp. on Principles of Programming Languages~{POPL'77}},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {104--118},
+	Title = {Symbolic Evaluation and the Global Value Graph},
+	Year = 1977}
+
+@unpublished{MORuethingSeidlFSTTCS04,
+	Author = {Markus M{\"u}ller-Olm and Oliver R\"uthing and Helmut Seidl},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Note = {Technical Report 788, Fachbereich Informatik, Universit{\"a}t Dortmund},
+	Title = {{Testing Herbrand Equalities --- and Beyond}},
+	Year = {2004}}
+
+@inproceedings{KnSt92b-C,
+	Author = {J.~Knoop and B.~Steffen},
+	Booktitle = {Compiler Construction (CC)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {125--140},
+	Publisher = {LNCS 541, Springer-Verlag},
+	Title = {{The Interprocedural Coincidence Theorem}},
+	Year = {1992}}
+
+@book{gosling96:_java_languag_specif,
+	Author = {James Gosling and Bill Joy and Guy Steele},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Publisher = {Addison-Wesley},
+	Title = {The Java Language Specification},
+	Year = 1996}
+
+@techreport{MarchandBorgne99a,
+	Author = {Herv\'e Marchand and Michel le Borgne},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Institution = {INRIA Rennes},
+	Month = {October},
+	Number = 3790,
+	Title = {The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods},
+	Year = 1999}
+
+@misc{SP81,
+	Author = {M.~Sharir and A.~Pnueli},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Howpublished = {In \cite{Muchnick81}, chapter~7, pages 189--233},
+	Title = {{Two Approaches to Interprocedural Data Flow Analysis}}}
+
+@inproceedings{Gunnarsson96b,
+	Author = {Johan Gunnarsson and Jonas Plantin and Roger Germundsson},
+	Booktitle = {Proc. of the IEE WODES'96},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Title = {Verification of a Large Discrete System Using Algebraic Methods},
+	Year = 1996}
+
+@inproceedings{RepsSAS03,
+	Author = {T.~ Reps and S.~ Schwoon and S.~ Jha},
+	Booktitle = {Int. Static Analysis Symposium (SAS)},
+	Date-Added = {2007-09-14 16:59:38 +0200},
+	Date-Modified = {2007-09-14 16:59:39 +0200},
+	Pages = {189--213},
+	Publisher = {LNCS 2694, Springer-Verlag},
+	Title = {{Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis}},
+	Year = 2003}
+
+@article{DBLP:journals/ipl/Jurdzinski98,
+	Author = {Marcin Jurdzinski},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Ee = {http://dx.doi.org/10.1016/S0020-0190(98)00150-1},
+	Journal = {Inf. Process. Lett.},
+	Number = {3},
+	Pages = {119-124},
+	Title = {Deciding the Winner in Parity Games is in UP $\cap$ co-Up},
+	Volume = {68},
+	Year = {1998}}
+
+@book{DBLP:books/mg/CormenLRS01,
+	Author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Date-Modified = {2008-11-05 11:09:15 +0100},
+	Isbn = {0-262-03293-7, 0-07-013151-1},
+	Publisher = {The MIT Press and McGraw-Hill Book Company},
+	Title = {Introduction to Algorithms, Second Edition},
+	Year = {2001}}
+
+@inproceedings{DBLP:conf/csl/GawlitzaS07,
+	Author = {Thomas Gawlitza and Helmut Seidl},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CSL},
+	Crossref = {DBLP:conf/csl/2007},
+	Ee = {http://dx.doi.org/10.1007/978-3-540-74915-8_6},
+	Pages = {23-40},
+	Title = {Precise Relational Invariants Through Strategy Iteration},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/csl/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {CSL},
+	Editor = {Jacques Duparc and Thomas A. Henzinger},
+	Isbn = {978-3-540-74914-1},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings},
+	Volume = {4646},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/eef/Yovine96,
+	Author = {Sergio Yovine},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {European Educational Forum: School on Embedded Systems},
+	Crossref = {DBLP:conf/eef/1996},
+	Pages = {114-152},
+	Title = {Model Checking Timed Automata},
+	Year = {1996}}
+
+@proceedings{DBLP:conf/eef/1996,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {School on Embedded Systems},
+	Editor = {Grzegorz Rozenberg and Frits W. Vaandrager},
+	Isbn = {3-540-65193-4},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
+	Volume = {1494},
+	Year = {1998}}
+
+@inproceedings{DBLP:conf/rtss/LarsenLPY97,
+	Author = {Kim Guldstrand Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {IEEE Real-Time Systems Symposium},
+	Crossref = {DBLP:conf/rtss/1997},
+	Ee = {http://computer.org/proceedings/rtss/8268/82680014abs.htm},
+	Pages = {14-24},
+	Title = {Efficient verification of real-time systems: compact data structure and state-space reduction},
+	Year = {1997}}
+
+@proceedings{DBLP:conf/rtss/1997,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {IEEE Real-Time Systems Symposium},
+	Publisher = {IEEE Computer Society},
+	Title = {Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA},
+	Year = {1997}}
+
+@inproceedings{DBLP:conf/popl/Kildall73,
+	Author = {Gary A. Kildall},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {POPL},
+	Pages = {194-206},
+	Title = {A Unified Approach to Global Program Optimization},
+	Year = {1973}}
+
+@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05,
+	Author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {VMCAI},
+	Crossref = {DBLP:conf/vmcai/2005},
+	Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3385{\&}spage=25},
+	Pages = {25-41},
+	Title = {Scalable Analysis of Linear Systems Using Mathematical Programming},
+	Year = {2005}}
+
+@proceedings{DBLP:conf/vmcai/2005,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {VMCAI},
+	Editor = {Radhia Cousot},
+	Isbn = {3-540-24297-X},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings},
+	Volume = {3385},
+	Year = {2005}}
+
+@inproceedings{DBLP:conf/popl/CousotC77,
+	Author = {Patrick Cousot and Radhia Cousot},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {POPL},
+	Date-Modified = {2008-12-17 09:43:47 +0100},
+	Pages = {238-252},
+	Title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
+	Year = {1977}}
+
+@proceedings{DBLP:conf/tacas/2004,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Editor = {Kurt Jensen and Andreas Podelski},
+	Isbn = {3-540-21299-X},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
+	Volume = {2988},
+	Year = {2004}}
+
+@proceedings{DBLP:conf/stoc/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STOC},
+	Editor = {David S. Johnson and Uriel Feige},
+	Isbn = {978-1-59593-631-8},
+	Publisher = {ACM},
+	Title = {Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007},
+	Year = {2007}}
+
+@inproceedings{DBLP:conf/stacs/EsparzaKL08,
+	Author = {Javier Esparza and Stefan Kiefer and Michael Luttenberger},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Crossref = {DBLP:conf/stacs/2008},
+	Ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1351},
+	Pages = {289-300},
+	Title = {Convergence Thresholds of Newton's Method for Monotone Polynomial Equations},
+	Year = {2008}}
+
+@proceedings{DBLP:conf/stacs/2008,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Editor = {Susanne Albers and Pascal Weil},
+	Publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
+	Series = {Dagstuhl Seminar Proceedings},
+	Title = {STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings},
+	Volume = {08001},
+	Year = {2008}}
+
+@inproceedings{DBLP:conf/mfcs/GimbertZ04,
+	Author = {Hugo Gimbert and Wieslaw Zielonka},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {MFCS},
+	Crossref = {DBLP:conf/mfcs/2004},
+	Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3153{\&}spage=686},
+	Pages = {686-697},
+	Title = {When Can You Play Positionally?},
+	Year = {2004}}
+
+@proceedings{DBLP:conf/mfcs/2004,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {MFCS},
+	Editor = {Jir\'{\i} Fiala and V{\'a}clav Koubek and Jan Kratochv\'{\i}l},
+	Isbn = {3-540-22823-3},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings},
+	Volume = {3153},
+	Year = {2004}}
+
+@book{Filar97,
+	Author = {Jerzy Filar and Koos Vrieze},
+	Date-Modified = {2008-07-15 14:53:40 +0200},
+	Publisher = {Springer},
+	Title = {Competitive Markov Decision Processes},
+	Year = {1997}}
+
+@inproceedings{DBLP:conf/tacas/SuW04,
+	Author = {Zhendong Su and David Wagner},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Crossref = {DBLP:conf/tacas/2004},
+	Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=280},
+	Pages = {280-295},
+	Title = {A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings},
+	Year = {2004}}
+
+@proceedings{DBLP:conf/tacas/2004,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {TACAS},
+	Editor = {Kurt Jensen and Andreas Podelski},
+	Isbn = {3-540-21299-X},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
+	Volume = {2988},
+	Year = {2004}}
+
+@inproceedings{DBLP:conf/pado/Mine01,
+	Author = {Antoine Min{\'e}},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {PADO},
+	Crossref = {DBLP:conf/pado/2001},
+	Ee = {http://link.springer.de/link/service/series/0558/bibs/2053/20530155.htm},
+	Pages = {155-172},
+	Title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices},
+	Year = {2001}}
+
+@inproceedings{DBLP:conf/wcre/Mine01,
+	Author = {Antoine Min{\'e}},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {WCRE},
+	Ee = {http://computer.org/proceedings/wcre/1303/13030310abs.htm},
+	Pages = {310-},
+	Title = {The Octagon Abstract Domain},
+	Year = {2001}}
+
+@inproceedings{DBLP:conf/stacs/EtessamiY05,
+	Author = {Kousha Etessami and Mihalis Yannakakis},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Crossref = {DBLP:conf/stacs/2005},
+	Date-Modified = {2008-11-12 10:06:13 +0100},
+	Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3404{\&}spage=340},
+	Pages = {340-352},
+	Title = {Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations},
+	Year = {2005}}
+
+@proceedings{DBLP:conf/stacs/2005,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STACS},
+	Editor = {Volker Diekert and Bruno Durand},
+	Isbn = {3-540-24998-2},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings},
+	Volume = {3404},
+	Year = {2005}}
+
+@inproceedings{DBLP:conf/stoc/KieferLE07,
+	Author = {Stefan Kiefer and Michael Luttenberger and Javier Esparza},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STOC},
+	Crossref = {DBLP:conf/stoc/2007},
+	Ee = {http://doi.acm.org/10.1145/1250790.1250822},
+	Pages = {217-226},
+	Title = {On the convergence of Newton's method for monotone systems of polynomial equations},
+	Year = {2007}}
+
+@proceedings{DBLP:conf/stoc/2007,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {STOC},
+	Editor = {David S. Johnson and Uriel Feige},
+	Isbn = {978-1-59593-631-8},
+	Publisher = {ACM},
+	Title = {Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007},
+	Year = {2007}}
+
+@book{OrtegaRheinboldt:book,
+	Author = {J.M. Ortega and W.C. Rheinboldt},
+	Publisher = {Academic Press},
+	Title = {Iterative solution of nonlinear equations in several variables},
+	Year = {1970}}
+
+@inproceedings{DBLP:conf/pldi/DorRS03,
+	Author = {Nurit Dor and Michael Rodeh and Shmuel Sagiv},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {PLDI},
+	Crossref = {DBLP:conf/pldi/2003},
+	Date-Modified = {2008-09-03 13:57:46 +0200},
+	Ee = {http://doi.acm.org/10.1145/781131.781149},
+	Keywords = {buffer overrun, static analysis},
+	Pages = {155-167},
+	Title = {CSSV: towards a realistic tool for statically detecting all buffer overflows in C},
+	Year = {2003}}
+
+@proceedings{DBLP:conf/pldi/2003,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {PLDI},
+	Isbn = {1-58113-662-5},
+	Keywords = {buffer overrun, static analysis},
+	Publisher = {ACM},
+	Title = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003},
+	Year = {2003}}
+
+@inproceedings{DBLP:conf/pldi/RuginaR00,
+	Author = {Radu Rugina and Martin C. Rinard},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {PLDI},
+	Ee = {http://doi.acm.org/10.1145/349299.349325},
+	Keywords = {buffer overrun, static analysis},
+	Pages = {182-195},
+	Title = {Symbolic bounds analysis of pointers, array indices, and accessed memory regions},
+	Year = {2000}}
+
+@inproceedings{DBLP:conf/ndss/WagnerFBA00,
+	Author = {David Wagner and Jeffrey S. Foster and Eric A. Brewer and Alexander Aiken},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {NDSS},
+	Crossref = {DBLP:conf/ndss/2000},
+	Ee = {http://www.isoc.org/isoc/conferences/ndss/2000/proceedings/039.pdf},
+	Keywords = {buffer overrun, static analysis},
+	Title = {A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities},
+	Year = {2000}}
+
+@proceedings{DBLP:conf/ndss/2000,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {NDSS},
+	Isbn = {1-891562-07-X, 1-891562-08-8},
+	Publisher = {The Internet Society},
+	Title = {Proceedings of the Network and Distributed System Security Symposium, NDSS 2000, San Diego, California, USA},
+	Year = {2000}}
+
+@proceedings{DBLP:conf/pado/2001,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {PADO},
+	Editor = {Olivier Danvy and Andrzej Filinski},
+	Isbn = {3-540-42068-1},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings},
+	Volume = {2053},
+	Year = {2001}}
+
+@proceedings{DBLP:conf/atva/2005,
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Booktitle = {ATVA},
+	Date-Added = {2009-04-09 14:04:07 +0200},
+	Date-Modified = {2009-04-09 14:04:07 +0200},
+	Editor = {Doron Peled and Yih-Kuen Tsay},
+	Isbn = {3-540-29209-8},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
+	Volume = {3707},
+	Year = {2005}}
+
+@article{DBLP:journals/tecs/WilhelmEEHTWBFHMMPPSS08,
+  author    = {Reinhard Wilhelm and
+               Jakob Engblom and
+               Andreas Ermedahl and
+               Niklas Holsti and
+               Stephan Thesing and
+               David B. Whalley and
+               Guillem Bernat and
+               Christian Ferdinand and
+               Reinhold Heckmann and
+               Tulika Mitra and
+               Frank Mueller and
+               Isabelle Puaut and
+               Peter P. Puschner and
+               Jan Staschulat and
+               Per Stenstr{\"o}m},
+  title     = {The worst-case execution-time problem - overview of methods
+               and survey of tools},
+  journal   = {ACM Trans. Embedded Comput. Syst.},
+  volume    = {7},
+  number    = {3},
+  year      = {2008},
+  ee        = {http://doi.acm.org/10.1145/1347375.1347389},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@inproceedings{DBLP:conf/esop/AdjeGG10,
+  author    = {Assal{\'e} Adj{\'e} and
+               St{\'e}phane Gaubert and
+               Eric Goubault},
+  title     = {Coupling Policy Iteration with Semi-definite Relaxation
+               to Compute Accurate Numerical Invariants in Static Analysis},
+  booktitle = {ESOP},
+  year      = {2010},
+  pages     = {23-42},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-11957-6_3},
+  crossref  = {DBLP:conf/esop/2010},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@proceedings{DBLP:conf/esop/2010,
+  editor    = {Andrew D. Gordon},
+  title     = {Programming Languages and Systems, 19th European Symposium
+               on Programming, ESOP 2010, Held as Part of the Joint European
+               Conferences on Theory and Practice of Software, ETAPS 2010,
+               Paphos, Cyprus, March 20-28, 2010. Proceedings},
+  booktitle = {ESOP},
+  publisher = {Springer},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {6012},
+  year      = {2010},
+  isbn      = {978-3-642-11956-9},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-11957-6},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@inproceedings{DBLP:conf/sas/GawlitzaS10,
+  author    = {Thomas Martin Gawlitza and
+               Helmut Seidl},
+  title     = {Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones
+               Precisely},
+  booktitle = {SAS},
+  year      = {2010},
+  pages     = {271-286},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-15769-1_17},
+  crossref  = {DBLP:conf/sas/2010},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@proceedings{DBLP:conf/sas/2010,
+  editor    = {Radhia Cousot and
+               Matthieu Martel},
+  title     = {Static Analysis - 17th International Symposium, SAS 2010,
+               Perpignan, France, September 14-16, 2010. Proceedings},
+  booktitle = {SAS},
+  publisher = {Springer},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {6337},
+  year      = {2010},
+  isbn      = {978-3-642-15768-4},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-15769-1},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+@article{DBLP:journals/toplas/GawlitzaS11,
+  author    = {Thomas Martin Gawlitza and
+               Helmut Seidl},
+  title     = {Solving systems of rational equations through strategy iteration},
+  journal   = {ACM Trans. Program. Lang. Syst.},
+  volume    = {33},
+  number    = {3},
+  year      = {2011},
+  pages     = {11},
+  ee        = {http://doi.acm.org/10.1145/1961204.1961207},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}