Effective Operator Summaries Extraction. - Ido Nimni; David Sarne (HCOMP, 2020)