François Fages Symbolic Model-Checking for Biochemical Systems. 102 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=102 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#Fages03