Sánchez-López C, Martínez-Romero E, Tlelo-Cuautle3 E. Symbolic Analysis of OTRAs-Based Circuits. JART [Internet]. 2011 Apr. 1 [cited 2024 May 17];9(01). Available from: https://jart.icat.unam.mx/index.php/jart/article/view/450