books.bib

@book{deduktionsbuch,
  editor = {Wolfgang~Bibel and Peter~H.~Schmitt},
  publisher = {Kluwer Academic Publishers},
  title = {Automated Deduction - A Basis for
		  Applications. Vol.~I. Foundations - Calculi and
		  Methods. Vol~II. Systems and Implementation
		  Techniques. Vol.~III. Applications},
  year = {1998},
  series = {Applied Logic Series},
  volume = {8, 9, 10}
}

@book{KeYBook2007,
  editor = {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
  title = {Verification of Object-Oriented Software: The {KeY} Approach},
  series = {LNCS 4334},
  publisher = {Springer-Verlag},
  year = {2007}
}

@proceedings{Schmitt91a,
  editor = {K.-P.~Jantke, P.~H.~Schmitt and J.~Dix},
  publisher = {Springer Verlag},
  series = {Lecture Notes in AI},
  title = {Nonmonotonic and Inductive Logic, First 
                              Internat. workshop, Karlsruhe},
  volume = {543},
  year = {1991}
}

@book{Schmitt92b,
  author = {Peter~H.~Schmitt},
  publisher = {Springer Verlag},
  title = {Theorie der logischen Programmierung},
  year = {1992}
}

@proceedings{Schmittetal93,
  editor = {G.~Brewka, K.-P.~Jantke and P.~H.~Schmitt},
  publisher = {Springer Verlag},
  series = {Lecture Notes in AI},
  title = {Nonmonotonic and Inductive Logic, Second 
                              Internat. workshop, Schlo{\ss} Reinhardsbrunn},
  volume = {659},
  year = {1993}
}

This file was generated by bibtex2html 1.98.