Fabien Corblin Eric Fanchon Laurent Trilling Modélisation de réseaux biologiques discrets en programmation logique par contraintes. 73-98 2007 26 Technique et Science Informatiques 1-2 http://tsi.revuesonline.com/article.jsp?articleId=9918 db/journals/tsi/tsi26.html#CorblinFT07