TY  - RPRT
TI  - Superposition for Fixed Domains
AU  - Matthias Horbach
AU  - Christoph Weidenbach
PY  - 2009
UR  - https://arxiv.org/abs/0809.0922
ID  - 0809.0922
ER  -