@article{DBLP:journals/tocl/BednarczykDFM23,
  author       = {Bartosz Bednarczyk and
                  St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  title        = {On Composing Finite Forests with Modal Logics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {24},
  number       = {2},
  pages        = {12:1--12:46},
  year         = {2023},
  url          = {https://doi.org/10.1145/3569954},
  doi          = {10.1145/3569954},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BednarczykDFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tNinNxpE8PJYst6zX","bibbaseid":"bednarczyk-demri-fervari-mansutti-oncomposingfiniteforestswithmodallogics-2023","author_short":["Bednarczyk, B.","Demri, S.","Fervari, R.","Mansutti, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Bartosz"],"propositions":[],"lastnames":["Bednarczyk"],"suffixes":[]},{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Mansutti"],"suffixes":[]}],"title":"On Composing Finite Forests with Modal Logics","journal":"ACM Trans. Comput. Log.","volume":"24","number":"2","pages":"12:1–12:46","year":"2023","url":"https://doi.org/10.1145/3569954","doi":"10.1145/3569954","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/BednarczykDFM23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/BednarczykDFM23,\n author = {Bartosz Bednarczyk and\n St{\\'{e}}phane Demri and\n Raul Fervari and\n Alessio Mansutti},\n title = {On Composing Finite Forests with Modal Logics},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {24},\n number = {2},\n pages = {12:1--12:46},\n year = {2023},\n url = {https://doi.org/10.1145/3569954},\n doi = {10.1145/3569954},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/BednarczykDFM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bednarczyk, B.","Demri, S.","Fervari, R.","Mansutti, A."],"key":"DBLP:journals/tocl/BednarczykDFM23","id":"DBLP:journals/tocl/BednarczykDFM23","bibbaseid":"bednarczyk-demri-fervari-mansutti-oncomposingfiniteforestswithmodallogics-2023","role":"author","urls":{"Paper":"https://doi.org/10.1145/3569954"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge","MSnnygamX7qXNxsq6","KKtjZs868TWfeLxN2"],"keywords":[],"search_terms":["composing","finite","forests","modal","logics","bednarczyk","demri","fervari","mansutti"],"title":"On Composing Finite Forests with Modal Logics","year":2023}