Characterization by Regulated Grammars of Calculations in the Gentzen System G. - Ruben Monjaraz Hernandez-Imbert; José de Jesús Lavalle-Martínez (Eng. Lett., 2007)