A rational reconstruction of Boyer and Moore's technique for constructing induction formulas (1988)

by A Stevens
Venue:The Proceedings of ECAI-88