@misc{indiciae3138b502773d,
  title = {Semi De Morgan logic properly displayed},
  author = {Giuseppe Greco and Fei Liang and M. Andrew Moshier and Alessandra Palmigiano},
  year = {2018},
  url = {https://arxiv.org/abs/1809.07933},
  note = {Source identifier: 1809.07933}
}