refereed.bib

@incollection{ABHMRSS98,
  author = {W. Ahrendt and B. Beckert and R. H\"{a}hnle and
                  W. Menzel and W.Reif and G. Schellhorn and P. Schmitt},
  title = {Integration of Automated and Interactive Theorem
                  Proving},
  publisher = {Kluwer},
  booktitle = {Automated Deduction --- A Basis for Applications},
  editor = {W. Bibel and P. Schmitt},
  year = {1998},
  volume = {I, 3}
}
@inproceedings{AhrendtBBGHHMMS02,
  author = {Wolfgang Ahrendt and
               Thomas Baar and
               Bernhard Beckert and
               Martin Giese and
               Elmar Habermalz and
               Reiner H{\"a}hnle and
               Wolfram Menzel and
               Wojciech Mostowski and
               Peter H. Schmitt},
  title = {The KeY System: Integrating Object-Oriented Design and Formal
               Methods},
  editor = {Ralf-Detlef Kutsche and
               Herbert Weber},
  booktitle = {Fundamental Approaches to Software Engineering, 
                 5th International Conference, FASE 2002, 
                held as Part of the Joint European
               Conferences on Theory and Practice of Software, ETAPS 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2306},
  year = {2002},
  pages = {327-330},
  isbn = {3-540-43353-8},
  ee = {http://dx.doi.org/10.1007/3-540-45923-5_23}
}
@inproceedings{AhrendtBBGHHMS00,
  author = {Wolfgang Ahrendt and
               Thomas Baar and
               Bernhard Beckert and
               Martin Giese and
               Elmar Habermalz and
               Reiner H{\"a}hnle and
               Wolfram Menzel and
               Peter H. Schmitt},
  title = {The KeY Approach: Integrating Object Oriented Design and
               Formal Verification},
  editor = {Manuel Ojeda-Aciego and
               Inman P. de Guzm{\'a}n and
               Gerhard Brewka and
               Lu\'{\i}s Moniz Pereira},
  booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA
               2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1919},
  year = {2000},
  pages = {21-36},
  isbn = {3-540-41131-3},
  ee = {http://dx.doi.org/10.1007/3-540-40006-0_3}
}
@inproceedings{AhrendtBHS07,
  author = {Wolfgang Ahrendt and
               Bernhard Beckert and
               Reiner H{\"a}hnle and
               Peter H. Schmitt},
  title = {KeY: A Formal Method for Object-Oriented Systems},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems,
               9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos,
               Cyprus, June 6-8, 2007, Proceedings},
  editor = {Marcello M. Bonsangue and
               Einar Broch Johnsen},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4468},
  year = {2007},
  pages = {32-43},
  isbn = {978-3-540-72919-8},
  ee = {http://dx.doi.org/10.1007/978-3-540-72952-5_2}
}
@inproceedings{BaarBS01,
  author = {Thomas Baar and
               Bernhard Beckert and
               Peter H. Schmitt},
  title = {An Extension of Dynamic Logic for Modelling OCL's @pre Operator},
  editor = {Dines Bj{\o}rner and
               Manfred Broy and
               Alexandre V. Zamulin},
  booktitle = {Perspectives of System Informatics, 4th International Andrei
               Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk,
               Russia, July 2-6, 2001, Revised Papers},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2244},
  year = {2001},
  pages = {47-54},
  isbn = {3-540-43075-X},
  ee = {http://dx.doi.org/10.1007/3-540-45575-2_7}
}
@article{BaarHSS00,
  author = {Thomas Baar and
               Reiner H{\"a}hnle and
               Theo Sattler and
               Peter H. Schmitt},
  title = {Entwurfgesteuerte Erzeugung von OCL-Constraints},
  journal = {Softwaretechnik-Trends},
  volume = {20},
  number = {3},
  year = {2000},
  ee = {http://pi.informatik.uni-siegen.de/stt/20_3/20_3_Baar.ps},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{BeckertHS06,
  author = {Bernhard Beckert and
               Reiner H{\"a}hnle and
               Peter H. Schmitt},
  title = {Integrating Object-Oriented Design and Deductive Verification
               of Software},
  booktitle = {Fourth IEEE International Conference on Software Engineering
               and Formal Methods (SEFM 2006), 11-15 September 2006, Pune,
               India},
  publisher = {IEEE Computer Society},
  year = {2006},
  pages = {260},
  isbn = {0-7695-2678-0},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.25}
}
@inproceedings{BeckertS03,
  author = {Bernhard Beckert and
               Peter H. Schmitt},
  title = {Program Verification Using Change Information},
  booktitle = {1st International Conference on Software Engineering and
               Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane,
               Australia},
  publisher = {IEEE Computer Society},
  year = {2003},
  pages = {91-},
  isbn = {0-7695-1949-0},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236211}
}
@inproceedings{BeckertSS05,
  author = {Bernhard Beckert and
               Steffen Schlager and
               Peter H. Schmitt},
  title = {An Improved Rule for While Loops in Deductive Program Verification},
  booktitle = {Formal Methods and Software Engineering, 7th International
               Conference on Formal Engineering Methods, ICFEM 2005, Manchester,
               UK, November 1-4, 2005, Proceedings},
  editor = {Kung-Kiu Lau and
               Richard Banach},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3785},
  year = {2005},
  pages = {315-329},
  isbn = {3-540-29797-9},
  ee = {http://dx.doi.org/10.1007/11576280_22}
}
@inproceedings{BHS93,
  author = {Bernhard Beckert and Reiner H\"{a}hnle and 
               Peter H. Schmitt},
  booktitle = {Proceedings of the third {K}urt {G}\"{o}del Colloquium 
               {KGC}'93, Brno, Czech Republic},
  editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
  month = aug,
  pages = {108--119},
  publisher = {Springer {LNCS} 713},
  title = {The {\em even more} liberalized $\delta$-rule in free variable 
               semantic tableaux},
  year = {1993}
}
@inproceedings{BHSS00,
  author = {Thomas Baar and Reiner H\"ahnle and Theo Sattler and
                  Peter H. Schmitt},
  title = {{E}ntwurfsmustergesteuerte {E}rzeugung von
                   {OCL}-{C}on\-straints},
  booktitle = {Informatik 2000, 30.\ Jahrestagung der Gesellschaft f\"ur Infomatik},
  editor = {K. Mehlhorn and G. Snelting},
  month = sep,
  pages = {389--404},
  publisher = {Springer},
  isbn_issn = {3-540-67880-8},
  year = {2000}
}
@inproceedings{BoergerSchmitt90,
  author = {Egon B\"{o}rger and Peter~H.~Schmitt},
  booktitle = {Proceedings of Computer Science Logic, Heidelberg},
  pages = {67 -- 79},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {A formal operational semantics for {P}rolog {III} 
                        using dynamic algebras},
  volume = {533},
  year = {1990}
}
@article{BoergerSchmitt97,
  author = {Egon B\"{o}rger and Peter H.Schmitt},
  journal = {J.~Logic and Computation},
  number = {5},
  pages = {661--683},
  title = {A Description of the Tableau Method Using Abstract 
                              State Machines},
  volume = {7},
  year = {1997}
}
@inproceedings{BubelHS08,
  author = {Richard Bubel and
               Reiner H{\"a}hnle and
               Peter H. Schmitt},
  title = {Specification Predicates with Explicit Dependency Information},
  booktitle = {VERIFY},
  editor = {Bernhard Beckert and
               Gerwin Klein},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {372},
  year = {2008},
  ee = {http://ceur-ws.org/Vol-372/paper05.pdf}
}
@article{DixSchmitt93,
  author = {J\"{u}rgen~Dix and Peter~H. Schmitt},
  journal = {Kognitionswissenschaft},
  pages = {53-69},
  title = {Nichtmonotones Schlie{\ss}en: 
                              Wieviel Nichtmonotonie ist n{\"o}tig?},
  volume = {3},
  number = {1},
  year = {1993}
}
@inproceedings{fapr96,
  author = {W.~May and P.~H.~Schmitt},
  title = {A Tableau Calculus For First-Order Branching Time Logic},
  editor = {D.~.M.~Gabbay and H.~J.~Ohlbach},
  series = {LNCS},
  number = {1085},
  pages = {399--413},
  booktitle = {Intl.\ Conf.\ on Formal and Applied Practical
                  Reasoning, FAPR'96},
  year = {1996},
  publisher = {Springer}
}
@inproceedings{FaragoS09,
  author = {David Farag{\'o} and
               Peter H. Schmitt},
  title = {Improving Non-Progress Cycle Checks},
  booktitle = {SPIN},
  editor = {Corina S. Pasareanu},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5578},
  year = {2009},
  pages = {50-67},
  ee = {http://dx.doi.org/10.1007/978-3-642-02652-2_8},
  isbn = {978-3-642-02651-5}
}
@article{HaehnleMenzelEA98,
  author = {Reiner H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title = {Integrierter deduktiver {S}oftware-{E}ntwurf},
  journal = {KI},
  number = {4},
  volume = {98},
  pages = {40--41},
  year = {1998},
  note = {In German}
}
@article{HaehnleMenzelSchmitt98,
  author = {Reiner H\protect\"{a}hnle and Wolfram Menzel and Peter~H.~Schmitt},
  journal = {KI},
  number = {4},
  pages = {40--41},
  title = {Integrierter {D}eduktiver {S}oftware-{E}ntwurf},
  volume = {12},
  year = {1998}
}
@article{HaehnleSchmitt94,
  author = {Reiner H\"{a}hnle and Peter~H. Schmitt},
  journal = {Journal of Automated Reasoning},
  pages = {211--221},
  title = {The liberalized $\delta$--rule in free 
                              variable semantic tableaux},
  volume = {13},
  year = {1994}
}
@article{KeY2005,
  author = {Wolfgang Ahrendt and Thomas Baar and 
                   Bernhard Beckert and Richard Bubel and 
                   Martin Giese and Reiner H\"ahnle and 
                   Wolfram Menzel and Wojciech Mostowski and 
                   Andreas Roth and Steffen Schlager and 
                   Peter H. Schmitt},
  title = {The {KeY} Tool},
  journal = {Software and System Modeling},
  volume = {4},
  pages = {32-54},
  year = {2005},
  doi = {http://springerlink.metapress.com/openurl.asp?genre=article&id=doi:10.1007/s10270-004-0058-x},
  publisher = {Springer}
}
@article{KISS98,
  author = {Harald Ganzinger and
               J{\"o}rg H. Siekmann and
               Peter H. Schmitt},
  title = {Wohin geht die automatische {D}eduktion?},
  journal = {KI},
  volume = {12},
  number = {4},
  year = {1998},
  pages = {33-37},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{KlebanovRSS05,
  author = {Vladimir Klebanov and
               Philipp R{\"u}mmer and
               Steffen Schlager and
               Peter H. Schmitt},
  title = {Verification of JCSP Programs},
  booktitle = {The 28th Communicating Process Architectures Conference,
               CPA 2005, organised under the auspices of WoTUG, Philips
               and the Technische Universiteit Eindhoven, Eindhoven, The
               Netherlands, 18-21 September 2005},
  editor = {Jan F. Broenink and
               Herman W. Roebbers and
               Johan P. E. Sunter and
               Peter H. Welch and
               David C. Wood},
  publisher = {IOS Press},
  series = {Concurrent Systems Engineering Series},
  volume = {63},
  year = {2005},
  pages = {203-218},
  isbn = {978-1-58603-561-7},
  ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=696}
}
@inproceedings{KrotzschRS10,
  author = {Markus Kr{\"o}tzsch and
               Sebastian Rudolph and
               Peter H. Schmitt},
  title = {On the Semantic Relationship between Datalog and Description
               Logics},
  booktitle = {RR},
  editor = {Pascal Hitzler and
               Thomas Lukasiewicz},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6333},
  year = {2010},
  pages = {88-102},
  isbn = {978-3-642-15917-6},
  ee = {http://dx.doi.org/10.1007/978-3-642-15918-3_8}
}
@inproceedings{PapeSchmitt97,
  author = {Christian Pape and Peter H. Schmitt},
  title = {{V}isualizations for {P}roof {P}resentation in
                  {T}heoretical {C}omputer {S}cience {E}ducation},
  editor = {Z. Halim and Th. Ottmann and Z. Razak},
  booktitle = {Proceedings of International Conference on Computers in
                  Education, Kuching, Sarawak, Malaysia, December 2--6},
  year = {1997},
  pages = {229--236},
  publisher = {Association for the Advancement of Computing in
		  Education},
  abstract = {This paper deals with the use of visualization
                  in teaching theoretical computer science courses
                  to undergraduate students. The particular challenge
                  of visual support for abstract concepts and rigorous
                  proofs is addressed by three questions: which
                  objects should be visualized? in which place in a
                  proof should we use visualizations? and what are
                  the expected benefits of interactive visualization
                  in the domain of theoretical computer science?
                  We demonstrate our approach by one detailed example
                  taken from the area of elementary computability
                  theory.}
}
@incollection{PoseggaSchmitt99,
  author = {Joachim~Posegga and Peter~H.~Schmitt},
  pages = {581--629},
  title = {Implementing Semantic Tableaux},
  publisher = {Kluwer Academic Publishers},
  booktitle = {Handbook of Tableau Methods},
  editor = {Marcello D\protect\'{}Agostino and Dov~M.~Gabbay 
                         and Reiner H\protect\"{a}hnle and Joachim Posegga},
  year = {1999}
}
@inproceedings{SchebenS11,
  author = {Christoph Scheben and
               Peter H. Schmitt},
  title = {Verification of Information Flow Properties of Java Programs
               without Approximations},
  booktitle = {FoVeOOS},
  editor = {Bernhard Beckert and
               Ferruccio Damiani and
               Dilian Gurov},
  year = {2011},
  pages = {232-249},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  vol = {7421},
  isbn = {978-3-642-31761-3},
  ee = {http://dx.doi.org/10.1007/978-3-642-31762-0_15}
}
@article{Schmitt76,
  author = {Peter H. Schmitt},
  journal = {Annales Sci. de l'Universit\'{e} de Clermont},
  pages = {135--155},
  title = {The model completion of stone algebras},
  volume = {60},
  year = {1976}
}
@article{Schmitt77,
  author = {Peter H. Schmitt},
  journal = {Algebra Universalis},
  pages = {205 -- 209},
  title = {Normal Double Stone Algebras},
  volume = {7},
  year = {1977}
}
@article{Schmitt82a,
  author = {Peter H. Schmitt},
  journal = {Zeitschrift f. Mathematische Logik},
  pages = {323--329},
  title = {The elementary theory of torsionfree abelian groups with a 
                              predicate specifying a subgroup},
  volume = {28},
  year = {1982}
}
@article{Schmitt83a,
  author = {Peter H. Schmitt},
  journal = {Fundamenta Mathematicae},
  pages = {135--150},
  title = {The l$^{t}$-theory of profinite {A}belian groups},
  volume = {69},
  year = {1983}
}
@article{Schmitt83b,
  author = {Peter H. Schmitt},
  journal = {Algebra Universalis},
  pages = {135--142},
  title = {Algebraically complete lattices},
  volume = {17},
  year = {1983}
}
@inproceedings{Schmitt83c,
  author = {Peter H. Schmitt},
  booktitle = {Models and Sets, Proc. of the Logic Colloqium 1983, 
                          Aachen},
  pages = {389--418},
  publisher = {Springer Verlag, Lecture Notes in Mathematics},
  title = {Model- and substructure complete theories of 
                          ordered {A}belian groups},
  volume = {1103},
  year = {1983}
}
@inproceedings{Schmitt83d,
  author = {Peter H. Schmitt},
  booktitle = {Compte rendu de la table ronde de Logique, 
                     15. - 16. Oct. 1983},
  editor = {F. Delon and D. Lascar and M. Parigot and G. Sabbagh},
  pages = {67--77},
  publisher = {Memoire de la Soci\'{e}t\'{e} Math\'{e}matique de France},
  title = {Undecidable theories of valuated abelian groups},
  volume = {112},
  year = {1983}
}
@article{Schmitt84,
  author = {Peter~H. Schmitt},
  journal = {Information and Control},
  pages = {147 -- 158},
  title = {Diamond formulas: A fragment of dynamic logic with recursively 
                              enumerable validity problem},
  volume = {61},
  year = {1984}
}
@inproceedings{Schmitt86a,
  author = {Peter~H. Schmitt},
  booktitle = {8$^{th}$ International Conference on Automated Deduction},
  editor = {J\"{o}rg~H.~Siekmann},
  pages = {190--198},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {230},
  title = {Computational aspects of three--valued logic},
  year = {1986}
}
@inproceedings{Schmitt86b,
  author = {Peter~H.~Schmitt},
  booktitle = {Proc. of the Logic Colloqium, 1984, Manchester},
  editor = {J.~B.~Paris and A.~J.~Wilkie and G.~M.~Wilmers},
  pages = {245 -- 276},
  publisher = {North Holland Publishing Co.},
  series = {Studies in Logic},
  title = {Model theory for valuated abelian groups},
  volume = {120},
  year = {1986}
}
@article{Schmitt87b,
  author = {Peter~H.~Schmitt},
  journal = {Informatik Forschung und Entwicklung},
  pages = {182--190},
  title = {Eine dreiwertige {L}ogik zur {V}erarbeitung 
                              partieller {I}nformation},
  volume = {2},
  year = {1987}
}
@inproceedings{Schmitt87e,
  author = {Peter~H. Schmitt},
  booktitle = {Proc. of the 1$^{st}$ workshop on Computer Science Logic},
  pages = {235 -- 262},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {A survey on rewrite systems},
  volume = {329},
  year = {1987}
}
@inproceedings{Schmitt89,
  editor = {Rudi Studer},
  author = {Peter~H. Schmitt},
  booktitle = {{P}roceedings {I}nternational {S}cientific {S}ymposium 
                       on {N}atural {L}anguage and {L}ogic, {H}amburg},
  title = {Perspectives in multi--valued logic},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {459},
  pages = {206 -- 220},
  year = {1990}
}
@inproceedings{Schmitt91,
  author = {Peter~H. Schmitt},
  booktitle = {Text Understanding in LILOG, Final Report on the 
                    IBM Germany  LILOG-Project},
  editor = {C.-R.~Rollinger and O.~Herog},
  pages = {394 -- 401},
  publisher = {Springer Verlag},
  series = {Lecture Notes in AI},
  title = {Deductive aspects of three-valued logic},
  volume = {546},
  year = {1991}
}
@article{SchmittCherlin81,
  author = {Greogry Cherlin and Peter H. Schmitt},
  journal = {Journal of Symbolic Logic},
  pages = {761 -- 772},
  title = {Undecidable $l^{t}$-theories of topological abelian groups},
  volume = {46(4)},
  year = {1981}
}
@article{SchmittCherlin83,
  author = {Gregory Cherlin and Peter~H.~Schmitt},
  journal = {Annals of Pure and Applied Logic},
  pages = {49 -- 85},
  title = {Locally pure topological abelian groups: Elementary invariants},
  volume = {24},
  year = {1983}
}
@inproceedings{SchmittDixPos90,
  author = {J\"{u}rgen Dix and Joachim Posegga and Peter~H.~Schmitt},
  booktitle = {Proc. of the First Internat. Conf. on Expert Planning},
  pages = {157 -- 162},
  series = {IEE Conference Publications},
  title = {Modal logics for AI planning},
  volume = {322},
  year = {1990}
}
@inproceedings{Schmittetal88,
  author = {J.~D\"{o}rre and U.~Pletat and C.-R.~Rollinger and 
                       P.~H.~Schmitt and R.~Studer and Ch.~Beierle},
  booktitle = {Proc. 2nd CSL workshop, Duisburg},
  pages = {14 -- 51},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {The knowledge representation language $l_{LILOG}$},
  volume = {385},
  year = {1988}
}
@article{Schmittetal92a,
  author = {Ch.Beierle and U.~Hedst\"{u}ck and U.~Pletat and P.~H.~Schmitt 
                              and J.~Siekmann},
  journal = {Journal of AI},
  pages = {149-191},
  title = {An order-sorted logic for knowledge representation},
  volume = {55},
  year = {1992}
}
@article{SchmittGurevich84,
  author = {Yuri Gurevich and Peter~H. Schmitt},
  journal = {Transactions of the American Mahematical Society},
  pages = {171 -- 182},
  title = {The theory of ordered abelian groups does not have the independence property},
  volume = 284,
  year = 1984
}
@inproceedings{SchmittHedtstueck90,
  author = {Peter~H. Schmitt and U. Hedtst\"{u}ck},
  booktitle = {Sorts and Types in Artificial Intelligence, 
                        Proc. of the Workshop, Ehringerfeld},
  editor = {U.~Hedst\"{u}ck, C.-R.~Rollinger, K.~H.~Bl\"{a}sius},
  pages = {61--72},
  publisher = {Springer Verlag},
  series = {Lecture Notes in AI},
  title = {A calculus for order-sorted predicate logic 
                        with sort literals},
  volume = {418},
  year = {1990}
}
@inproceedings{SchmittKarpKB87,
  author = {Marek Karpinski and Hans~Kleine B\"{u}ning and 
                  Peter~H.~Schmitt},
  booktitle = {Proc. of the 1$^{st}$ workshop on Computer Science Logic},
  pages = {129 -- 137},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {The computational complexity of quantified Horn clauses},
  volume = {329},
  year = {1987}
}
@article{SchmittPos95,
  author = {Joachim Posegga and Peter H.~Schmitt},
  journal = {J.Logic and Computation},
  title = {Automated Deduction with {S}hannon Graphs},
  volume = {5},
  number = {6},
  pages = {697 - 729},
  year = {1995}
}
@inproceedings{SchmittT07,
  author = {Peter H. Schmitt and
               Isabel Tonin},
  title = {Verifying the Mondex Case Study},
  booktitle = {Fifth IEEE International Conference on Software Engineering
               and Formal Methods (SEFM 2007), 10-14 September 2007, London,
               England, UK},
  publisher = {IEEE Computer Society},
  year = {2007},
  pages = {47-58},
  isbn = {978-0-7695-2884-7},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.47}
}
@inproceedings{SchmittUW10,
  author = {Peter H. Schmitt and
               Mattias Ulbrich and
               Benjamin Wei{\ss}},
  title = {Dynamic Frames in {J}ava Dynamic Logic},
  editor = {Bernhard Beckert and
               Claude March{\'e}},
  booktitle = {FoVeOOS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6528},
  year = {2010},
  pages = {138-152},
  isbn = {978-3-642-18069-9},
  ee = {http://dx.doi.org/10.1007/978-3-642-18070-5_10}
}
@inproceedings{SchmittW07,
  author = {Peter H. Schmitt and
               Benjamin Wei{\ss}},
  title = {Inferring Invariants by Symbolic Execution},
  booktitle = {VERIFY},
  editor = {Bernhard Beckert},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {259},
  year = {2007},
  ee = {http://ceur-ws.org/Vol-259/paper16.pdf}
}
@inproceedings{SchmittWernecke90a,
  author = {Wernecke Wolfgang and Peter H.~Schmitt},
  booktitle = {Sorts and Types in Artificial Intelligence, 
                         Proc. of the Workshop, Ehringerfeld},
  editor = {U.~Hedst\"{u}ck, C.-R.~Rollinger, K.~H.~Bl\"{a}sius},
  pages = {49 -- 60},
  publisher = {Springer Verlag},
  series = {Lecture Notes in AI},
  title = {Tableau calculus for order-sorted logic},
  volume = {418},
  year = {1990}
}
@inproceedings{tacas97,
  author = {Jean Goubault-Larrecq and Peter H.~Schmitt},
  title = {A Tableau System for Linear-TIME Temporal Logic},
  year = {1997},
  booktitle = {Proceedings of the Third International Workshop
                     on Tools and Algorithms for the Construction and 
                     Analysis of Systems, TACAS'97, Enschede, the Netherlands
          April 02-04},
  publisher = {Springer},
  editor = {Ed Brinksma},
  series = {Lecture Notes in Computer Science},
  volume = {1217},
  pages = {130--144}
}

This file was generated by bibtex2html 1.98.