Lucas Bordeaux, Eric Monfroy. Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. Technique et Science Informatiques, 22(1):190-202, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.