Thomas Eiter Thomas Lukasiewicz Complexity Results for Structure-Based Causality. 35-42 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#EiterL01