@misc{indiciae5b489b96f324,
  title = {On the dependent conjunction and implication},
  author = {Matthieu Herrmann and Alain Prouté},
  year = {2018},
  url = {https://arxiv.org/abs/1606.06005},
  note = {Source identifier: 1606.06005}
}