Xiaoxiao Yang, Zhenhua Duan: Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578