TY  - RPRT
TI  - Clausal Abstraction for DQBF (full version)
AU  - Leander Tentrup
AU  - Markus N. Rabe
PY  - 2019
UR  - https://arxiv.org/abs/1808.08759
ID  - 1808.08759
ER  -