On the complexity of input/output logic

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},
}