1. Arrow, K.J., Sen, A., Suzumura, K.: Handbook of Social Choice and Welfare, vol. 2. North Holland, Elsevier (2011)
2. Aschinger, M., Drescher, C., Vollmer, H.: Loco – a logic for configuration problems. In: Proceedings of ECAI 2012 (2012)
3. Baker, A., Ginsberg, M.: A theorem prover for prioritized circumscription. In: Proceedingsof IJCAI 1989, pp. 463–467 (1989)
4. Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules, March 2003
5. Lecture Notes in Computer Science;G Brewka,1994