Context

Context of Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings, Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Processing Feedback ...