BibTeX Export

@article{Authenticus:P-007-788,
	title = {{A Syntactical Proof of Locality of da}},
	author = {J Almeida},
	doi = {10.1142/S021819679600009X},
	journal = {Ijac},
	number = {2},
	pages = {165-178},
	publisher = {World Scientific Pub Co Pte Lt},
	type = {Article},
	volume = {6},
	year = {1996}
}