TY  - RPRT
TI  - Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes
AU  - Dirk Beyer
AU  - Stefan Löwe
AU  - Philipp Wendler
PY  - 2015
UR  - https://arxiv.org/abs/1502.00045
ID  - 1502.00045
ER  -