, ,
Bulletin of the Interest Group in Pure and Applied Logics

Meyer Viol, W. (1995). A proof-theoretic treatment of assignments. Deduction and language. Bulletin of the Interest Group in Pure and Applied Logics, 3(2-3), 223–242.