Jixin Ma Brian Knight Reified Temporal Logics: An Overview. 189-217 2001 15 Artif. Intell. Rev. 3 db/journals/air/air15.html#MaK01