Monika Maidl The Common Fragment of CTL and LTL. 643-652 2000 FOCS db/conf/focs/focs2000.html#Maidl00