DMCA

Proof search and induction choices in AF 2 system

by D. Galmiche , O. Hermann , Campus Scientique B. P