T. Eiter, T. Lukasiewicz: "Complexity Results for Explanations in the Structural-Model Approach"; Artificial Intelligence, 154 (2004), 1-2; 145 - 198.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968517