Edward A. Ashcroft, Zohar Manna, Amir Pnueli. Decidable Properties of Monadic Functional Schemas. Journal of the ACM, 20(3):489-499, 1973. [doi]
@article{AshcroftMP73, title = {Decidable Properties of Monadic Functional Schemas}, author = {Edward A. Ashcroft and Zohar Manna and Amir Pnueli}, year = {1973}, tags = {XML, XML Schema}, researchr = {https://researchr.org/publication/AshcroftMP73}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {20}, number = {3}, pages = {489-499}, }