ByNobleID
    Heuristic Methods for Mechanically Deriving Inductive Assertions. | NobleID