Efficient Algorithms for Finding Differences between Process Models | IEEE Conference Publication | IEEE Xplore