The Common Fragment of ACTL and LTL.

Mikolaj Bojanczyk

Browse the full FOSSACS paper archive.