Mikhail Prokopenko Maurice Pagnucco Pavlos Peppas Abhaya C. Nayak A Unifying Semantics for Causal Ramifications. 38-49 2000 PRICAI db/conf/pricai/pricai2000.html#ProkopenkoPPN00