Christian Lengauer, Chua-Huang Huang. A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. In POPL. pages 307-317, 1986.
@inproceedings{LengauerH86, title = {A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks}, author = {Christian Lengauer and Chua-Huang Huang}, year = {1986}, researchr = {https://researchr.org/publication/LengauerH86}, cites = {0}, citedby = {0}, pages = {307-317}, booktitle = {POPL}, }