Rogelio Dávila Sara C. Hernández Juan F. Corona Teaching natural deduction to improve text argumentation analysis in engineering students. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_01.pdf db/conf/lanmr/lanmr2007.html#DavilaHC07