Gösta Grahne Updates and Counterfactuals. 269-276 1991 KR db/conf/kr/kr91.html#Grahne91