Mirjana Borisavljevic. Two Normalizations for Natural Deductions in Sequent Style. FLAP, 6(6):1187-1222, 2019. [doi]
@article{Borisavljevic19, title = {Two Normalizations for Natural Deductions in Sequent Style}, author = {Mirjana Borisavljevic}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, researchr = {https://researchr.org/publication/Borisavljevic19}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {6}, number = {6}, pages = {1187-1222}, }