Mechanizing structural induction (1976)

by Raymond Aubin
Citations:42 - 0 self