TY  - RPRT
TI  - Disjunctions with stopping condition
AU  - Roman Kossak
AU  - Bartosz Wcisło
PY  - 2020
UR  - https://arxiv.org/abs/1810.07437
ID  - 1810.07437
ER  -