Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li. A Structural Approach to Prophecy Variables. In Manindra Agrawal, S. Barry Cooper, Angsheng Li, editors, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings. Volume 7287 of Lecture Notes in Computer Science, pages 61-71, Springer, 2012. [doi]
Abstract is missing.