Ian Parberry. A computer assisted optimal depth lower bound for sorting networks with nine inputs. In F. Ron Bailey, editor, Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989. pages 152-161, IEEE Computer Society / ACM, 1989. [doi]
Abstract is missing.