A Sound and Complete Reified Temporal Logic. - Guoxing Zhao; Jixin Ma 001; Fuxing Shen; Miltos Petridis (SNPD, 2008)