Xin Sun 0001, Livio Robaldo. On the complexity of input/output logic. J. Applied Logic, 25:69-88, 2017. [doi]
@article{SunR17-5, title = {On the complexity of input/output logic}, author = {Xin Sun 0001 and Livio Robaldo}, year = {2017}, doi = {10.1016/j.jal.2017.03.002}, url = {https://doi.org/10.1016/j.jal.2017.03.002}, researchr = {https://researchr.org/publication/SunR17-5}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {25}, pages = {69-88}, }