Bidirectional Natural Deduction (1993)

by A Agostini
Venue:AI*IA Notizie