TY  - RPRT
TI  - Complexity of syntactical tree fragments of Independence-Friendly logic
AU  - Fausto Barbero
PY  - 2019
UR  - https://arxiv.org/abs/1610.03406
ID  - 1610.03406
ER  -