TY  - RPRT
TI  - QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
AU  - Florian Lonsing
AU  - Uwe Egly
PY  - 2018
DO  - 10.1007/978-3-319-94205-6_12
UR  - https://arxiv.org/abs/1804.02908
ID  - 1804.02908
ER  -