David Baelde Andrew Gacek Dale Miller Gopalan Nadathur Alwen Tiu The Bedwyr System for Model Checking over Syntactic Expressions. 391-397 2007 conf/cade/2007 CADE http://dx.doi.org/10.1007/978-3-540-73595-3_28 db/conf/cade/cade2007.html#BaeldeGMNT07