Burghard von Karger Rudolf Berghammer A Relational Model for Temporal Logic. 157-173 1998 6 Logic Journal of the IGPL 2 http://www3.oup.co.uk/igpl/Volume_06/Issue_02/#Berghammer db/journals/igpl/igpl6.html#KargerB98