TY  - RPRT
TI  - Selecting the Selection
AU  - Giles Reger
AU  - Martin Suda
AU  - Andrei Voronkov
AU  - Krystof Hoder
PY  - 2016
UR  - https://arxiv.org/abs/1604.08055
ID  - 1604.08055
ER  -