M. Sierra A., “Logic of the tautologies”, ing.cienc., vol. 8, no. 15, pp. 96–119, Jun. 2012.