Mikael Asker Jacek Malec A Semantics for Active Logic. 739-740 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#AskerM06