@doctoralThesis{Tang_2017, title={Logics for rule-based configuration systems}, author={Tang, Ching Hoo}, doi={http://dx.doi.org/10.22028/D291-26856}, year={2017} }