TY  - RPRT
TI  - Property irrelevant predicates
AU  - Shrawan Kumar
PY  - 2015
UR  - https://arxiv.org/abs/1507.08093
ID  - 1507.08093
ER  -