@misc{indiciaeec3206002944,
  title = {A Complete Diagrammatic Calculus for Boolean Satisfiability},
  author = {Tao Gu and Robin Piedeleu and Fabio Zanasi},
  year = {2023},
  doi = {10.46298/entics.10481},
  url = {https://arxiv.org/abs/2211.12629},
  note = {Source identifier: 2211.12629}
}