@misc{indiciae2bb3b9995527,
  title = {Animated Logic: Correct Functional Conversion to Conjunctive Normal Form},
  author = {Pedro Barroso and Mário Pereira and António Ravara},
  year = {2020},
  url = {https://arxiv.org/abs/2003.05081},
  note = {Source identifier: 2003.05081}
}