@misc{indiciae6daf93e8f842,
  title = {I/O Logic in HOL --- First Steps},
  author = {Christoph Benzmüller and Xavier Parent},
  year = {2018},
  url = {https://arxiv.org/abs/1803.09681},
  note = {Source identifier: 1803.09681}
}