@misc{indiciae34b80aff80d3,
  title = {Constructive canonicity for lattice-based fixed point logics},
  author = {Willem Conradie and Andrew Craig and Alessandra Palmigiano and Zhiguang Zhao},
  year = {2016},
  url = {https://arxiv.org/abs/1603.06547},
  note = {Source identifier: 1603.06547}
}