@article{asyntacticoperatorforforgettingthat,
  title = {A Syntactic Operator for Forgetting that Satisfies Strong Persistence},
  author = {Matti Berthold and Ricardo Gonçalves and Matthias Knorr and João Leite},
  year = {2019},
  eprint = {1907.12501},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1907.12501v2},
}