Wolfgang Bibel Peter Baumgartner and Richard Waldinger.
In Memory of Mark Stickel.
Journal of Automated Reasoning, 56(2):95--98, 2016.
Copyright Springer Verlag http://www.springer.com/. [ bib ]