Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Baumgartner, P., Bibel, W. & Waldinger, R. In Memory of Mark Stickel. J Autom Reasoning 56, 95–98 (2016). https://doi.org/10.1007/s10817-015-9347-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-015-9347-z