I. Nimni and D. Sarne, “Effective Operator Summaries Extraction”, HCOMP, vol. 8, no. 1, pp. 102-111, Oct. 2020.