Matthew Nichols David Taylor A faster closure algorithm for pattern matching in partial-order event data. 1-9 2007 ICPADS http://doi.ieeecomputersociety.org/10.1109/ICPADS.2007.4447755 conf/icpads/2007 db/conf/icpads/icpads2007.html#NicholsT07