@misc{indiciaecad192687d36,
  title = {A Heyting Algebra on Dyck Paths of Type \$A\$ and \$B\$},
  author = {Henri Mühle},
  year = {2016},
  doi = {10.1007/s11083-016-9403-2},
  url = {https://arxiv.org/abs/1312.0551},
  note = {Source identifier: 1312.0551}
}