Tense logic (Nauwelaerts, 1977)
Aus: Logique et analyse, No. 80, 1977