Title data
Niewerth, Matthias:
MSO Queries on Trees : Enumerating Answers under Updates Using Forest Algebras.
In:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. -
Oxford, UK
,
2018
. - pp. 769-778
DOI: https://doi.org/10.1145/3209108.3209144