Peter Øhrstrøm: Existential Graphs and Tense Logic. ICCS 1996: 202-217