Nonclausal temporal deduction - Abadi, Martín 1963-; Manna, Zohar 1939-2018 (1985)