Thomas Eiter Georg Gottlob The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. 526-533 1993 conf/ijcai/1993 IJCAI db/conf/ijcai/ijcai93.html#EiterG93