@misc{indiciae5e8e8667854e,
  title = {A Sequent Calculus Proof Search Procedure and Counter-model Generation based on Natural Deduction Bounds},
  author = {Jefferson de Barros Santos and Bruno Lopes Vieira and Edward Hermann Haeusler},
  year = {2020},
  url = {https://arxiv.org/abs/1905.02059},
  note = {Source identifier: 1905.02059}
}