Reasoning in event-based distributed systems - Helmer, Sven; Poulovassilis, Alexandra; Xhafa, Fatos (Studies in computational intelligence, 2011)