@unpublished{mfcs26,
  author = {Massimo Benerecetti and
            Della Monica, Dario and
	    Angelo Matteo and
	    Fabio Mogavero and
	    Gabriele Puppis},
  title = {Deciding the Common Fragment
           of {CTL} with {P}ast and {LTL}},
  note = {To appear in the Proc. of the 51st
          International Symposium on Mathematical
	  Foundations of Computer Science (MFCS)},
  year = {2026}
}