@misc{indiciae5ccc62dd2e82,
  title = {Complexity of syntactical tree fragments of Independence-Friendly logic},
  author = {Fausto Barbero},
  year = {2019},
  url = {https://arxiv.org/abs/1610.03406},
  note = {Source identifier: 1610.03406}
}