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 ]
 
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 ]