The bedwyr system for model checking over syntactic expressions (2007)

by D Baelde, A Gacek, D Miller, G Nadathur, A Tiu
Venue:In Automated Deduction (CADE-21