TY  - RPRT
TI  - Some properties are not even partially testable
AU  - Eldar Fischer
AU  - Yonatan Goldhirsh
AU  - Oded Lachish
PY  - 2013
UR  - https://arxiv.org/abs/1306.1360
ID  - 1306.1360
ER  -