@misc{indiciae5066fd6e0fc8,
  title = {Towards Invertible Semantic-Preserving Embeddings of Logical Formulae},
  author = {Gaia Saveri and Luca Bortolussi},
  year = {2023},
  url = {https://arxiv.org/abs/2305.03143},
  note = {Source identifier: 2305.03143}
}