Efficient Approximate Conformance Checking Using Trie Data Structures | IEEE Conference Publication | IEEE Xplore