Figueroa M., ...., 		Rivera L., ...., & 		Valero E., ....
(2016).
Prooftopia: A database for mathematical tools.
<em>Avances En InteraccióN Humano-Computadora, 0</em>(1), 33-34.
doi:10.47756/aihc.y1i1.9