peter-2016.bib

@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: bib2bib -c 'year=2016 and not annote:"skip_html" and not annote:"unpublished"' -ob peter-2016.bib -oc peter-2016.cite peter.bib}}
@article{Baumgartner:Bibel:Waldinger:JAR:2016,
  author = {Peter Baumgartner, Wolfgang Bibel and Richard Waldinger},
  title = {In Memory of Mark Stickel},
  journal = {Journal of Automated Reasoning},
  copyright = {Copyright Springer Verlag http://www.springer.com/},
  year = {2016},
  optkey = {},
  volume = {56},
  number = {2},
  pages = {95-98},
  era = {A}
}