Philippe Balbiani, Dimiter Vakarelov: Extending arrow logic. RelMiCS 1998: 13-17