(1)
Nimni, I.; Sarne, D. Effective Operator Summaries Extraction. HCOMP 2020, 8, 102-111.