Peter Baumgartner.
Automated Deduction Techniques for the Management of Personalized Documents.
In Manfred Kerber, editor, Proc. of the IJCAR-Workshop Future Directions in Automated Reasoning, Siena, Italy, 2001. [ bib | .ps.gz ]

 

Peter Baumgartner and Antje Blohm.
Automated Deduction Techniques for the Management of Personalized Documents.
In Proc. of MKM 2001 -- First International Workshop on Mathematical Knowledge Management, Linz, Austria, 2001. [ bib | .pdf ]