A couple of articles documenting their research and code, by veox: theDAOHardForkOracle – an oracle able to provide an answer to the question “which fork am I on?” to other dapps, external code or humans, and a feat allowing conditionally “reversing” undesired state changes that occurred during dapp execution.