"Semantics of Framed Temporal Logic Programs."

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics