Ralf Hinze, Clare Martin. Or: Bitonicity is a Red Herring. J. UCS, 23(1):21-41, 2017. [doi]
@article{HinzeM17, title = {Or: Bitonicity is a Red Herring}, author = {Ralf Hinze and Clare Martin}, year = {2017}, url = {http://www.jucs.org/jucs_23_1/a_logical_reconstruction_of}, researchr = {https://researchr.org/publication/HinzeM17}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {23}, number = {1}, pages = {21-41}, }