Deciding the Common Fragment of CTL with past and LTL.

Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis

Browse the full MFCS paper archive.