TY  - RPRT
TI  - Q-Resolution with Generalized Axioms
AU  - Florian Lonsing
AU  - Uwe Egly
AU  - Martina Seidl
PY  - 2016
DO  - 10.1007/978-3-319-40970-2_27
UR  - https://arxiv.org/abs/1604.05994
ID  - 1604.05994
ER  -