TY  - RPRT
TI  - Transition Systems for Model Generators - A Unifying Approach
AU  - Yuliya Lierler
AU  - Miroslaw Truszczynski
PY  - 2011
DO  - 10.1017/s1471068411000214
UR  - https://arxiv.org/abs/1105.0650
ID  - 1105.0650
ER  -