TY  - RPRT
TI  - Regular resolution for CNFs with almost bounded one-sided treewidth
AU  - Andrea Cali
AU  - Igor Razgon
PY  - 2022
UR  - https://arxiv.org/abs/1905.10867
ID  - 1905.10867
ER  -