@article(alpern1985defining,
 author       = {Bowen Alpern and Fred B Schneider},
 year         = {1985},
 title        = {Defining liveness},
 journal      = {Information processing letters},
 volume       = {21},
 number       = {4},
 pages        = {181--185},
 doi          = {10.1016/0020-0190(85)90056-0},
)
@phdthesis(545701,
 author       = {Sander Beckers},
 year         = {2016},
 title        = {Actual {C}ausation: {D}efinitions and {P}rinciples},
 school       = {Faculty of Engineering Science, Katholieke Universiteit Leuven},
 url          = {https://lirias.kuleuven.be/handle/123456789/545701},
)
@article(Bella:2006:APF:1151414.1151416,
 author       = {Giampaolo Bella and Lawrence C. Paulson},
 year         = {2006},
 title        = {Accountability Protocols: Formalized and Verified},
 journal      = {ACM Trans. Inf. Syst. Secur.},
 volume       = {9},
 number       = {2},
 pages        = {138--161},
 doi          = {10.1145/1151414.1151416},
)
@inproceedings(Blanchard2014CauseWD,
 author       = {Thomas Blanchard and Jonathan Schaffer},
 year         = {2014},
 title        = {Cause without Default},
 booktitle    = {Making a Difference},
 publisher    = {Oxford University Press},
 pages        = {175--214},
 doi          = {10.1093/oso/9780198746911.003.0010},
)
@techreport(tracing-causes,
 author       = {Anupam Datta and Deepak Garg and Dilsun Kaynar and Divya Sharma},
 year         = {2016},
 title        = {Tracing Actual Causes (CMU-CyLab-16-004)},
 type         = {Technical Report},
 institution  = {Carnegie Mellon University},
)
@inproceedings(Datta2015a,
 author       = {Anupam Datta and Deepak Garg and Dilsun Kaynar and Divya Sharma and Arunesh Sinha},
 year         = {2015},
 title        = {Program actions as actual causes: A building block for accountability},
 booktitle    = {2015 IEEE 28th Computer Security Foundations Symposium},
 organization = {IEEE},
 pages        = {261--275},
 doi          = {10.1109/CSF.2015.25},
)
@article(giunchiglia2004nonmonotonic,
 author       = {Enrico Giunchiglia and Joohyung Lee and Vladimir Lifschitz and Norman McCain and Hudson Turner},
 year         = {2004},
 title        = {Nonmonotonic causal theories},
 journal      = {Artificial Intelligence},
 volume       = {153},
 number       = {1-2},
 pages        = {49--104},
 doi          = {10.1016/j.artint.2002.12.001},
)
@article(Hall2000-HALCAT-7,
 author       = {Ned Hall},
 year         = {2000},
 title        = {Causation and the Price of Transitivity},
 journal      = {Journal of Philosophy},
 volume       = {97},
 number       = {4},
 pages        = {198},
 doi          = {10.2307/2678390},
)
@incollection(Hall2004-HALTCO-4,
 author       = {Ned Hall},
 year         = {2004},
 title        = {Two Concepts of Causation},
 editor       = {John Collins and Ned Hall and Laurie Paul},
 booktitle    = {Causation and Counterfactuals},
 publisher    = {MIT Press},
 pages        = {225--276},
 doi          = {10.7551/mitpress/1752.003.0010},
)
@inproceedings(DBLP:conf/kr/Halpern08a,
 author       = {Joseph Y. Halpern},
 year         = {2008},
 title        = {Defaults and Normality in Causal Structures},
 editor       = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang},
 booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008},
 publisher    = {{AAAI} Press},
 pages        = {198--208},
 url          = {http://www.aaai.org/Library/KR/2008/kr08-020.php},
)
@inproceedings(DBLP:conf/ijcai/Halpern15,
 author       = {Joseph Y. Halpern},
 year         = {2015},
 title        = {A Modification of the Halpern-Pearl Definition of Causality},
 editor       = {Qiang Yang and Michael Wooldridge},
 booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
 publisher    = {{AAAI} Press},
 pages        = {3022--3033},
 url          = {http://ijcai.org/Abstract/15/427},
)
@book(Halpern:2016:AC:3003155,
 author       = {Joseph Y. Halpern},
 year         = {2016},
 title        = {Actual Causality},
 publisher    = {The MIT Press},
 doi          = {10.7551/mitpress/10809.001.0001},
)
@article(DBLP:journals/corr/abs-1106-2652,
 author       = {Joseph Y. Halpern and Christopher Hitchcock},
 year         = {2011},
 title        = {Actual causation and the art of modeling},
 journal      = {CoRR},
 volume       = {abs/1106.2652},
 url          = {http://arxiv.org/abs/1106.2652},
)
@article(DBLP:journals/corr/HalpernH13,
 author       = {Joseph Y. Halpern and Christopher Hitchcock},
 year         = {2013},
 title        = {Graded Causation and Defaults},
 journal      = {CoRR},
 volume       = {abs/1309.1226},
 url          = {http://arxiv.org/abs/1309.1226},
)
@article(DBLP:journals/corr/abs-1301-2275,
 author       = {Joseph Y. Halpern and Judea Pearl},
 year         = {2013},
 title        = {Causes and Explanations: {A} Structural-Model Approach --- Part 1: Causes},
 journal      = {CoRR},
 volume       = {abs/1301.2275},
 url          = {http://arxiv.org/abs/1301.2275},
)
@article(causal-powers,
 author       = {Eric Hiddleston},
 year         = {2005},
 title        = {Causal powers},
 journal      = {British Journal for the Philosophy of Science},
 volume       = {56},
 number       = {1},
 pages        = {27--59},
 doi          = {10.1093/phisci/axi102},
)
@article(Hitchcock2001-HITTIO,
 author       = {Christopher Hitchcock},
 year         = {2001},
 title        = {The Intransitivity of Causation Revealed in Equations and Graphs},
 journal      = {Journal of Philosophy},
 volume       = {98},
 number       = {6},
 pages        = {273--299},
 doi          = {10.2307/2678432},
)
@article(Hitchcock2007-HITPPA,
 author       = {Christopher Hitchcock},
 year         = {2007},
 title        = {Prevention, Preemption, and the Principle of Sufficient Reason},
 journal      = {Philosophical Review},
 volume       = {116},
 number       = {4},
 pages        = {495--532},
 doi          = {10.1215/00318108-2007-012},
)
@inproceedings(hopkins2003clarifying,
 author       = {Mark Hopkins and Judea Pearl},
 year         = {2003},
 title        = {Clarifying the usage of structural models for commonsense causal reasoning},
 booktitle    = {Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning},
 organization = {AAAI Press Menlo Park, CA},
 pages        = {83--89},
)
@article(DBLP:journals/corr/abs-1710-09102,
 author       = {Robert K{\"{u}}nnemann},
 year         = {2017},
 title        = {Sufficient and necessary causation are dual},
 journal      = {CoRR},
 volume       = {abs/1710.09102},
 url          = {http://arxiv.org/abs/1710.09102},
)
@article(Lewis1973-LEWC,
 author       = {David Lewis},
 year         = {1973},
 title        = {Causation},
 journal      = {Journal of Philosophy},
 volume       = {70},
 number       = {17},
 pages        = {556--567},
 doi          = {10.2307/2025310},
)
@article(Mackie1965-MACCAC-4,
 author       = {J. L. Mackie},
 year         = {1965},
 title        = {Causes and Conditions},
 journal      = {American Philosophical Quarterly},
 volume       = {2},
 number       = {4},
 pages        = {245--264},
)
@book(pearl-book,
 author       = {Judea Pearl},
 year         = {2000},
 title        = {Causality: Models, Reasoning, and Inference},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
)
@phdthesis(sharma-thesis,
 author       = {Divya Sharma},
 year         = {2015},
 title        = {Interaction-aware Actual Causation: A Building Block for Accountability in Security Protocols},
 school       = {CyLab, Carnegie Mellon University},
)
@article(turner1999logic,
 author       = {Hudson Turner},
 year         = {1999},
 title        = {A logic of universal causation},
 journal      = {Artificial Intelligence},
 volume       = {113},
 number       = {1-2},
 pages        = {87--123},
 doi          = {10.1016/S0004-3702(99)00058-2},
)
@article(weslake2015partial,
 author       = {Brad Weslake},
 year         = {2015},
 title        = {A partial theory of actual causation},
 journal      = {British Journal for the Philosophy of Science},
)
@article(wright1987causation,
 author       = {Richard W Wright},
 year         = {1987},
 title        = {Causation, responsibility, risk, probability, naked statistics, and proof: Pruning the bramble bush by clarifying the concepts},
 journal      = {Iowa L. Rev.},
 volume       = {73},
 pages        = {1001},
)