François Fages From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. 68-70 2006 journals/tcsb/2006-4 T. Comp. Sys. Biology http://dx.doi.org/10.1007/11732488_6 db/journals/tcsb/tcsb4.html#Fages06