Global Solutions for Nonlinear Systems Using Qualitative Reasoning. - Elizabeth Bradley; Abbie O'Gallagher; Janet Rogers (Ann. Math. Artif. Intell., 1998)