peter-1993.bib

@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: bib2bib -c 'year=1993 and not annote:"skip_html" and not annote:"unpublished"' -ob peter-1993.bib -oc peter-1993.cite peter.bib}}
@article{Baumgartner:Furbach:Consolution:JSC:93,
  author = {Peter Baumgartner and Ulrich Furbach},
  title = {{Consolution as a Framework for Comparing Calculi}},
  journal = {Journal of Symbolic Computation},
  year = {1993},
  volume = {16},
  era = {A},
  number = {5},
  publisher = {Academic Press},
  url = {consolution.pdf},
  pages = {445--477},
  abstract = {In this paper, stepwise and nearly stepwise simulation
		  results for a number of first-order proof calculi are
		  presented and an overview is given that illustrates the
		  relations between these calculi. For this purpose, we
		  modify the {\em consolution\/} calculus in such a way that
		  it can be instantiated to {\em resolution\/}, {\em tableaux
		  model elimination\/}, a {\em connection method\/} and
		  Loveland's {\em model elimination\/}. }
}
@techreport{Baumgartner:93a,
  author = {Peter Baumgartner},
  title = {{Refinements of Theory Model Elimination and a Variant
		  without Contrapositives}},
  institution = {Universit{\"a}t Koblenz-Landau},
  type = {Fachberichte Informatik},
  address = {Institut f{\"u}r Informatik, Rheinau 1, D-56075
		  Koblenz},
  year = {1993},
  number = {8/93},
  optnote = {(Short version in {\em Proc. ECAI 94, 1994, Wiley\/})}
}
@techreport{Baumgartner:TPTPWorkshop:7:93,
  author = {Peter Baumgartner\quad(Editor)},
  title = {{Workshop PTTP-basiertes Theorembeweisen}},
  year = {1993},
  number = {7--93},
  language = {german},
  institution = {Universit{\"a}t Koblenz-Landau},
  type = {Fachberichte Informatik},
  address = {Institut f{\"u}r Informatik, Rheinau 1, D-56075
		  Koblenz}
}
@inproceedings{Baumgartner:93c,
  author = {Peter Baumgartner},
  title = {{Combining Model Elimination and Unit-Resulting
		  Resolution}},
  booktitle = {Proc. Tableau-Workshop},
  year = {1993},
  address = {Marseille},
  note = {MPI-Report I-93-213},
  optpublisher = {Max Planck Institute for Computer Science}
}