Dov M. Gabbay 1 2003 13 J. Log. Comput. 1 http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_01/130001.sgm.abs.html db/journals/logcom/logcom13.html#Gabbay03