Eliminating Recursion from Monadic Datalog Programs on Trees.

Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski

Browse the full MFCS paper archive.