Active Trace Clustering for Improved Process Discovery | IEEE Journals & Magazine | IEEE Xplore