A Syntactical Proof of Locality of da

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},
}