Iluju Kiringa Towards a General Theory of Advanced Transaction Models in the Situation Calculus. 2001 conf/krdb/2001 KRDB http://CEUR-WS.org/Vol-45/10-kiringa.ps db/conf/krdb/krdb2001.html#Kiringa01