TY  - RPRT
TI  - Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)
AU  - Deepak Dhungana
AU  - Ching Hoo Tang
AU  - Christoph Weidenbach
AU  - Patrick Wischnewski
PY  - 2014
UR  - https://arxiv.org/abs/1309.0065
ID  - 1309.0065
ER  -