Hans Jürgen Ohlbach Computational Treatment of Temporal Notions: The CTTN-System. 133-144 2005 conf/ppswr/2005 PPSWR http://dx.doi.org/10.1007/11552222_13 db/conf/ppswr/ppswr2005.html#Ohlbach05