1. Lecture Notes in Computer Science;M. Denecker,2003
2. Denecker, M., Theseider-Dupré, D., Van Belleghem, K.: An inductive definition approach to ramifications. Linköping Electronic Articles in Computer and Information Science 3(7), 1–43 (1998)
3. Halpern, J., Tuttle, M.: Knowledge, probability, and adversaries. Journal of the ACM 40, 917–960 (1993)
4. McCain, N.: Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin (1997)
5. McCain, N., Turner, H.: Causal theories of action and change. In: Proc. 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference (AAAI/IAAI), pp. 460–465 (1996)