Heuristic Methods for Mechanically Deriving Inductive Assertions.

Ben Wegbreit

Browse the full IJCAI paper archive.