Middle-Out Reasoning for Synthesis and Induction

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_4 ◽

1996 ◽

pp. 113-145

Author(s):

Ina Kraan ◽

David Basin ◽

Alan Bundy

Download Full-text