1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
André Frochaux, Nicole Schweikardt
In their AMW14-paper, Frochaux, Grohe, and Schweikardt showed that the query containment problem for monadic datalog on finite unranked labeled trees is Exptime-complete when (a) c…