Duan, Z. "An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming" PhD University of Newcastle upon Tyne. 1996

Languages mentioned

• EITL {1996}
• extended Tempura {1996}
• FTLL {1996}
• ITL {1981}
• Tempura {1985}