Figueroa M., Karina, 		Rivera L., Cuauhtémoc, AND 		Valero E., Luis.
"Prooftopia: A database for mathematical tools" <em>Avances en Interacción Humano-Computadora</em> [Online],  Number 1 (21 September 2016)