Peter Baumgartner, Wolfgang Bibel, Richard Waldinger. In Memory of Mark Stickel. Journal of Automated Reasoning, 56(2):95-98, 2016. [doi]
@article{BaumgartnerBW16, title = {In Memory of Mark Stickel}, author = {Peter Baumgartner and Wolfgang Bibel and Richard Waldinger}, year = {2016}, doi = {10.1007/s10817-015-9347-z}, url = {http://dx.doi.org/10.1007/s10817-015-9347-z}, researchr = {https://researchr.org/publication/BaumgartnerBW16}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {56}, number = {2}, pages = {95-98}, }