@misc{indiciae2eca2acab716,
  title = {Explainability via Short Formulas: the Case of Propositional Logic with Implementation},
  author = {Reijo Jaakkola and Tomi Janhunen and Antti Kuusisto and Masood Feyzbakhsh Rankooh and Miikka Vilander},
  year = {2022},
  url = {https://arxiv.org/abs/2209.01403},
  note = {Source identifier: 2209.01403}
}