A normalization procedure for the equational fragment of labelled natural deduction
['Anjolina Grisi de Oliveira', 'Ruy J. G. B. de Queiroz']
A normalization procedure for the equational fragment of labelled natural deduction