Ullrich Hustadt Clare Dixon Renate A. Schmidt Michael Fisher Normal Forms and Proofs in Combined Modal and Temporal Logics. 73-87 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#HustadtDSF00