TY  - RPRT
TI  - Cause Clue Clauses: Error Localization using Maximum Satisfiability
AU  - Manu Jose
AU  - Rupak Majumdar
PY  - 2011
UR  - https://arxiv.org/abs/1011.1589
ID  - 1011.1589
ER  -