"2009" . "Applied Mathematics and Computation, Elsevier, 2009, 215 (5), pp.1761" . . "From decomposable to residual theories" .