peter-2001.bib

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

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

@inproceedings{Baumgartner:Blohm:MKM:01,
  author = {Peter Baumgartner and Antje Blohm},
  title = {Automated Deduction Techniques for the Management of
		  Personalized Documents},
  booktitle = {Proc. of {\em MKM 2001 -- First International Workshop on
		  Mathematical Knowledge Management\/}},
  url = {MKMLinzFinal.pdf},
  year = {2001},
  address = {Linz, Austria},
  optkey = {}
}

@inproceedings{Baumgartner:DeductionPersonalizedDokuments:FutureDirections:01,
  author = {Peter Baumgartner},
  title = {Automated Deduction Techniques for the Management of
		  Personalized Documents},
  booktitle = {Proc. of the IJCAR-Workshop {\em Future Directions in
		  Automated Reasoning}},
  url = {CadeWSFutureDirectionsFinal.ps.gz},
  year = {2001},
  address = {Siena, Italy},
  optkey = {},
  editor = {Manfred Kerber}
}