Giorgio Delzanno Cinzia Di Giusto Maurizio Gabbrielli Cosimo Laneve Gianluigi Zavattaro The <i>kappa</i>-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. 158-172 2009 CMSB http://dx.doi.org/10.1007/978-3-642-03845-7_11 conf/cmsb/2009 db/conf/cmsb/cmsb2009.html#DelzannoGGLZ09