System description: Abella – A system for reasoning about computations (2008)

by Andrew Gacek
Venue:In Fourth International Joint Conference on Automated Reasoning