WCB08: Workshop on Constraint Based Methods for Bioinformatics, 22 May. The Reasoner, v. 2, n. 7, 1 Jul.2008.