peter-1998.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -c 'year=1998 and not annote:"skip_html" and not annote:"unpublished"' -ob peter-1998.bib -oc peter-1998.cite peter.bib}}

@article{Baumgartner:etal:TechnologicalViewPoint:KI:98,
  author = {Peter Baumgartner and Ingo Dahn and J{\"u}rgen Dix and
		  Ulrich Furbach and Micha K{\"u}hn and Frieder Stolzenburg
		  and Bernd Thomas},
  title = {Automated Deduction: A Technological Point of View},
  journal = {KI},
  url = {ki-magazine98.pdf},
  year = 1998,
  volume = 12,
  number = 4,
  pages = {7-14}
}

@inproceedings{Baumgartner:HyperNextGeneration:Tableaux:98,
  author = {Peter Baumgartner},
  title = {{Hyper Tableaux --- The Next Generation}},
  crossref = {TABLEAUX:98},
  era = {A},
  pages = {60--76},
  url = {http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-32-97.ps.gz},
  abstract = {``Hyper tableaux'' is a sound and complete calculus for
		  first-order clausal logic. The present paper introduces an
		  improvement which removes the major weakness of the
		  calculus, which is the need to (at least partially) blindly
		  guess ground-instantiations for certain clauses. This
		  guessing is now replaced by a unification-driven technique.
		  \par The calculus is presented in detail, which includes a
		  completeness proof. Completeness is proven by using a novel
		  approach to extract a model from an open branch. This
		  enables semantical redundancy criteria which are not
		  present in related approaches.}
}

@book{Baumgartner:TheoryReasoningConnectionCalculi:LNAI:98,
  author = {Peter Baumgartner},
  title = {{Theory Reasoning in Connection Calculi}},
  publisher = {Springer},
  year = {1998},
  optcrossref = {},
  optkey = {},
  volume = {1527},
  optnumber = {},
  series = {Lecture Notes in Artificial Intelligence},
  url = {diss-baumgartner.ps},
  optaddress = {},
  optedition = {},
  optmonth = {},
  optannote = {}
}

@inproceedings{Baumgartner:Petermann:TheoryReasoning:DFGBook:98,
  author = {Peter Baumgartner and Uwe Petermann},
  title = {{Chapter II.6: Theory Reasoning}},
  chapter = {Special Calculi and Refinements},
  crossref = {Bibel:Schmitt:DFGBook:98},
  optkey = {},
  optpublisher = {},
  optyear = {},
  opteditor = {},
  pages = {191--224},
  volume = {I: Foundations. Calculi and Refinements},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optedition = {},
  optmonth = {},
  opttype = {},
  optnote = {},
  optannote = {}
}

@inproceedings{Baumgartner:Furbach:VariantsClausalTableaux:DFGBook:98,
  author = {Peter Baumgartner and Ulrich Furbach},
  title = {{Chapter I.3: Variants of Clausal Tableaux}},
  crossref = {Bibel:Schmitt:DFGBook:98},
  optkey = {},
  optpublisher = {},
  optyear = {},
  opteditor = {},
  pages = {73--102},
  volume = {I: Foundations. Calculi and Refinements},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optedition = {},
  optmonth = {},
  opttype = {},
  optnote = {},
  optannote = {}
}

@inproceedings{Baumgartner:Schaefer:ProblemSolvingWS:CADE:98,
  author = {Peter Baumgartner and Dorothea Sch{\"a}fer},
  title = {Model Elimination with Simplification and its Application
		  to Software Verification},
  booktitle = {CADE-15 Workshop on Problem-solving Methodologies with
		  Automated Deduction},
  year = {1998},
  note = {http://www.uni-koblenz.de/{\textasciitilde}peter/cade-15-ws/},
  optkey = {},
  editor = {Peter Baumgartner and Ulrich Furbach and Michael Kohlhase
		  and William McCune and Wolfgang Reif and Mark Stickel and
		  Tom{\`a}s Uribe}
}

@proceedings{TABLEAUX:98,
  booktitle = {Automated Reasoning with Analytic Tableaux and Related
		  Methods},
  title = {Automated Reasoning with Analytic Tableaux and Related
		  Methods},
  year = {1998},
  editor = {Harry de Swaart},
  publisher = {Springer},
  volume = {1397},
  series = {Lecture Notes in Artificial Intelligence},
  optannote = { }
}

@proceedings{Baumgartner:etal:ProblemSolvingMethodologies:WS:CADE:98,
  title = {CADE-15 Workshop on Problem-solving Methodologies with
		  Automated Deduction},
  booktitle = {CADE-15 Workshop on Problem-solving Methodologies with
		  Automated Deduction},
  year = {1998},
  note = {http://www.uni-koblenz.de/{\textasciitilde}peter/cade-15-ws/},
  optkey = {},
  editor = {Peter Baumgartner and Ulrich Furbach and Michael Kohlhase
		  and William McCune and Wolfgang Reif and Mark Stickel and
		  Tom{\`a}s Uribe},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}

@proceedings{Bibel:Schmitt:DFGBook:98,
  title = {Automated Deduction. A basis for applications},
  booktitle = {Automated Deduction. A Basis for Applications},
  year = {1998},
  optcrossref = {},
  optkey = {},
  editor = {Wolfgang Bibel and Peter H. Schmitt},
  optvolume = {},
  optnumber = {},
  optseries = {},
  publisher = {Kluwer Academic Publishers},
  optorganization = {},
  optaddress = {},
  optmonth = {},
  optannote = {}
}