Monadic Datalog Containment on Trees

Frochaux, André; Grohe, Martin; Schweikardt, Nicole

Cornell University Library (2014)
Preprint

Identifier