Heuristic Methods for Mechanically Deriving Inductive Assertions

Ben Wegbreit. Heuristic Methods for Mechanically Deriving Inductive Assertions. In IJCAI. pages 524-536, 1973.

Possibly Related Publications

The following publications are possibly variants of this publication: