peter-1993.bib
@comment{{This file has been generated by bib2bib 1.99}}
@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}
}