Simon Doherty, Lindsay Groves. Simpler Backward Simulation Proofs. In Taso Viglas, Alex Potanin, editors, Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010. Volume 109 of CRPIT, pages 71-78, Australian Computer Society, 2010. [doi]
Abstract is missing.