Martín Abadi Zohar Manna Nonclausal Temporal Deduction. 1-15 1985 conf/lop/1985 Logic of Programs db/conf/lop/lop1985.html#AbadiM85