@misc{indiciaea15882e66581,
  title = {Disjunctions with stopping condition},
  author = {Roman Kossak and Bartosz Wcisło},
  year = {2020},
  url = {https://arxiv.org/abs/1810.07437},
  note = {Source identifier: 1810.07437}
}