The automation of proof by mathematical induction (1997)

Cached

Download Links

by Alan Bundy
Citations:42 - 6 self