1. Alur, R., Henzinger, T.A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713.
2. Anderson, A.R. (1966). The formal analysis of normative systems. 1956. Technical report 2, Contract no. SAR-NONR-609(16), Office of Naval Research, New Haven. In N. Rescher (Ed.), The logic of decision and action (pp. 147–213). Pittsburgh: Pittsburgh University Press.
3. Balbiani, P., Herzig, A., & Troquard, N. (2008). Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic, 37, 387–406.
4. Bartha, P. (1993). Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence, 9, 1–23.
5. Bartha, P. (1999). Moral preference, contrary-to-duty obligation and defeasible oughts. In P. McNamara, & H. Prakken (Eds.), Norms, logics and information systems: new studies in deontic logic and computer science (pp. 93–108). Amsterdam: IOS Press.