Philippe Balbiani Dimiter Vakarelov Extending arrow logic. 13-17 1998 conf/RelMiCS/1998 RelMiCS db/conf/RelMiCS/RelMiCS1998.html#BalbianiV98