TY  - RPRT
TI  - A Syntactic Operator for Forgetting that Satisfies Strong Persistence
AU  - Matti Berthold
AU  - Ricardo Gonçalves
AU  - Matthias Knorr
AU  - João Leite
PY  - 2019
DO  - 10.1017/s1471068419000346
UR  - https://arxiv.org/abs/1907.12501
ID  - 1907.12501
ER  -