Moore N. The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates. Proceedings of the 3rd International Conference on Language and Automata Theory and Applications. (601-613). https://doi.org/10.1007/978-3-642-00982-2_51