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

by David Baelde , Andrew Gacek , Dale Miller , Gopalan Nadathur , Alwen Tiu , École Polytechnique
Venue:21th Conference on Automated Deduction, LNAI 4603, 391–397
Citations:21 - 12 self