TY  - RPRT
TI  - The Bedwyr system for model checking over syntactic expressions
AU  - David Baelde
AU  - Andrew Gacek
AU  - Dale Miller
AU  - Gopalan Nadathur
AU  - Alwen Tiu
PY  - 2008
UR  - https://arxiv.org/abs/cs/0702116
ID  - cs/0702116
ER  -