peter-Unpublished.bib

@COMMENT{{This file has been generated by bib2bib 1.79}}

@COMMENT{{Command line: bib2bib -c annote:"unpublished" -ob peter-Unpublished.bib -oc peter-Unpublished.cite peter.bib}}

@UNPUBLISHED{Baumgartner:Thorstensen:IMOverview:2009,
  AUTHOR = {Peter Baumgartner and Evgenij Thorstensen},
  TITLE = {Instance Based Methods --- An Overview},
  OPTKEY = {},
  OPTMONTH = {},
  YEAR = {2009},
  ABSTRACT = {Instance-based methods are a specific class of methods 
  for automated 
  proof search in first-order logic.  This article provides an overview
  of the major methods in the area and discusses their properties and
  relations to the more established resolution methods.
  It also discusses some recent trends on refinements and applications.
This overview is rather brief and informal, but we provide a
comprehensive literature list to follow-up on the details.},
  URL = {IMoverview.pdf},
  NOTE = {Accepted for publication in KI},
  ANNOTE = UNPUBLISHED
}