Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux. Quasi-interpretation Synthesis by Decomposition. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 410-424, Springer, 2007. [doi]
Abstract is missing.