%0 Journal Article %1 journals/tplp/Berthold0KL19 %A Berthold, Matti %A Gonçalves, Ricardo %A Knorr, Matthias %A Leite, João %D 2019 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 1038-1055 %T A Syntactic Operator for Forgetting that Satisfies Strong Persistence. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#Berthold0KL19 %V 19

@article{journals/tplp/Berthold0KL19, added-at = {2022-02-23T00:00:00.000+0100}, author = {Berthold, Matti and Gonçalves, Ricardo and Knorr, Matthias and Leite, João}, biburl = {https://www.bibsonomy.org/bibtex/239a089877c2f3299821e4415e2ec9123/dblp}, ee = {https://doi.org/10.1017/S1471068419000346}, interhash = {b90635c829856d932ececb75bd36cdad}, intrahash = {39a089877c2f3299821e4415e2ec9123}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {1038-1055}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {A Syntactic Operator for Forgetting that Satisfies Strong Persistence.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#Berthold0KL19}, volume = 19, year = 2019 }