%0 Journal Article %1 journals/jar/BaumgartnerBW16 %A Baumgartner, Peter %A Bibel, Wolfgang %A Waldinger, Richard %D 2016 %J J. Autom. Reason. %K dblp %N 2 %P 95-98 %T In Memory of Mark Stickel. %U http://dblp.uni-trier.de/db/journals/jar/jar56.html#BaumgartnerBW16 %V 56

@article{journals/jar/BaumgartnerBW16, added-at = {2020-09-02T00:00:00.000+0200}, author = {Baumgartner, Peter and Bibel, Wolfgang and Waldinger, Richard}, biburl = {https://www.bibsonomy.org/bibtex/21dbdc975041d4507c597a025cd90d0b2/dblp}, ee = {https://doi.org/10.1007/s10817-015-9347-z}, interhash = {b89ceae6d4c1bc48116477876cd91f59}, intrahash = {1dbdc975041d4507c597a025cd90d0b2}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {95-98}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {In Memory of Mark Stickel.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar56.html#BaumgartnerBW16}, volume = 56, year = 2016 }