A faster closure algorithm for pattern matching in partial-order event data | IEEE Conference Publication | IEEE Xplore