Zhenhua Duan Xiaoxiao Yang Maciej Koutny Framed temporal logic programming. 31-61 2008 70 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2007.09.001 db/journals/scp/scp70.html#DuanYK08