@misc{indiciae02a597922f19,
  title = {ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators},
  author = {Arnaud Gotlieb and Dusica Marijan and Helge Spieker},
  year = {2020},
  doi = {10.1142/s0218213020600064},
  url = {https://arxiv.org/abs/1811.03906},
  note = {Source identifier: 1811.03906}
}