Effective Operator Summaries Extraction.

Ido Nimni, David Sarne

Browse the full HCOMP paper archive.