Douglas Dunsmore Daye. Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic. Notre Dame Journal of Formal Logic, 20(3):549-558, 1979. [doi]
@article{Daye79, title = {Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic}, author = {Douglas Dunsmore Daye}, year = {1979}, doi = {10.1305/ndjfl/1093882660}, url = {http://dx.doi.org/10.1305/ndjfl/1093882660}, researchr = {https://researchr.org/publication/Daye79}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {20}, number = {3}, pages = {549-558}, }