1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
André Frochaux, Martin Grohe, Nicole Schweikardt
We show that the query containment problem for monadic datalog on finite unranked labeled trees can be solved in 2-fold exponential time when (a) considering unordered trees using…