TY  - RPRT
TI  - Blocked Clauses in First-Order Logic
AU  - Benjamin Kiesl
AU  - Martin Suda
AU  - Martina Seidl
AU  - Hans Tompits
AU  - Armin Biere
PY  - 2017
UR  - https://arxiv.org/abs/1702.00847
ID  - 1702.00847
ER  -