Decidable Properties of Monadic Functional Schemas

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