%0 Journal Article %1 journals/amai/BaumgartnerF03 %A Baumgartner, Peter %A Furbach, Ulrich %D 2003 %J Ann. Math. Artif. Intell. %K dblp %N 1-3 %P 211-228 %T Automated Deduction Techniques for the Management of Personalized Documents. %U http://dblp.uni-trier.de/db/journals/amai/amai38.html#BaumgartnerF03 %V 38

@article{journals/amai/BaumgartnerF03, added-at = {2011-05-18T00:00:00.000+0200}, author = {Baumgartner, Peter and Furbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/207e9e977245b22dcf9612db5b6a02419/dblp}, ee = {http://dx.doi.org/10.1023/A:1022976016809}, interhash = {5eb86609becec8b3c2873f2578b067b2}, intrahash = {07e9e977245b22dcf9612db5b6a02419}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {211-228}, timestamp = {2011-05-19T11:36:37.000+0200}, title = {Automated Deduction Techniques for the Management of Personalized Documents.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai38.html#BaumgartnerF03}, volume = 38, year = 2003 }