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]
@article{BordeauxM03,
title = {Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances},
author = {Lucas Bordeaux and Eric Monfroy},
year = {2003},
url = {http://tsi.revuesonline.com/article.jsp?articleId=4655},
researchr = {https://researchr.org/publication/BordeauxM03},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {22},
number = {1},
pages = {190-202},
}