TY  - RPRT
TI  - A Curiously Effective Backtracking Strategy for Connection Tableaux
AU  - Michael Färber
PY  - 2024
UR  - https://arxiv.org/abs/2106.13722
ID  - 2106.13722
ER  -