@misc{indiciae5255ca89d88b,
  title = {Proper Multi-Type Display Calculi for Rough Algebras},
  author = {Giuseppe Greco and Fei Liang and Krishna Manoorkar and Alessandra Palmigiano},
  year = {2018},
  url = {https://arxiv.org/abs/1808.07278},
  note = {Source identifier: 1808.07278}
}