@misc{indiciae236dbbfe0fcd,
  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},
  doi = {10.1017/s1471068419000346},
  url = {https://arxiv.org/abs/1907.12501},
  note = {Source identifier: 1907.12501}
}