@misc{indiciae3eb6eebd30a5,
  title = {Monte Carlo Tableau Proof Search},
  author = {Michael Färber and Cezary Kaliszyk and Josef Urban},
  year = {2019},
  doi = {10.1007/978-3-319-63046-5\_34},
  url = {https://arxiv.org/abs/1611.05990},
  note = {Source identifier: 1611.05990}
}