Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. A simple rewrite notion for call-time choice semantics. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 197-208, ACM, 2007. [doi]
Abstract is missing.