Lucas Bordeaux, Eric Monfroy. Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 189-202, Hermes/Lavoisier, 2003.
Abstract is missing.