Juan J. Flores Andrzej Proskurowski Qualitative Reasoning and Bifurcations in Dynamic Systems. 259-271 2006 conf/micai/2006 MICAI http://dx.doi.org/10.1007/11925231_25 db/conf/micai/micai2006.html#FloresP06