TY  - RPRT
TI  - Model and Program Repair via SAT Solving
AU  - Paul C. Attie
AU  - Jad Saklawi
PY  - 2008
UR  - https://arxiv.org/abs/0710.3332
ID  - 0710.3332
ER  -