T. Eiter, T. Lukasiewicz: "Complexity Results for Structure-Based Causality"; Artificial Intelligence, 142 (2002), 1; 53 - 89.