TY  - RPRT
TI  - Formalization of Abstract State Transition Systems for SAT
AU  - Filip Maric
AU  - Predrag Janicic
PY  - 2011
DO  - 10.2168/lmcs-7(3:19)2011
UR  - https://arxiv.org/abs/1108.4368
ID  - 1108.4368
ER  -