TY  - RPRT
TI  - ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
AU  - Arnaud Gotlieb
AU  - Dusica Marijan
AU  - Helge Spieker
PY  - 2020
DO  - 10.1142/s0218213020600064
UR  - https://arxiv.org/abs/1811.03906
ID  - 1811.03906
ER  -