Martín Abadi Zohar Manna Temporal Logic Programming. 277-295 1989 8 J. Symb. Comput. 3 db/journals/jsc/jsc8.html#AbadiM89