The Abella interactive theorem prover (system description (2008)

by A Gacek
Venue:Fourth International Joint Conference on Automated Reasoning, volume 5195 of LNCS