@INPROCEEDINGS{bp26,
  author = {M. Benerecetti and D. Della Monica and A. Matteo and F. Mogavero and G. Puppis},
  title = {Deciding the Common Fragment of CTL with past and LTL},
  booktitle = {Proceedings of the 51st International Symposium on Mathematical Foundations of Computer Science (MFCS)},
  year = {2026},
  articleno = {29},
  numpages = {18},
  doi = {10.4230/LIPIcs.MFCS.2026.29},
  isbn = {978-3-95977-442-0},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
}