Sierra Aristizábal, M. Types of Reasoners. Rev. DyC. EAFIT 2012, 43 (146), 102-116.