Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing | IEEE Journals & Magazine | IEEE Xplore