Iluju Kiringa Specifying Event Logics for Active Databases. 2002 conf/krdb/2002 KRDB http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-54/kiringa.ps db/conf/krdb/krdb2002.html#Kiringa02