Graph rewriting for natural deduction and the proper treatment of variables

DSpace/Manakin Repository