Jorge Almeida. A Syntactical Proof of Locality of da. IJAC, 6(2):165-178, 1996. [doi]
@article{Almeida96-0, title = {A Syntactical Proof of Locality of da}, author = {Jorge Almeida}, year = {1996}, doi = {10.1142/S021819679600009X}, url = {http://dx.doi.org/10.1142/S021819679600009X}, researchr = {https://researchr.org/publication/Almeida96-0}, cites = {0}, citedby = {0}, journal = {IJAC}, volume = {6}, number = {2}, pages = {165-178}, }