Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski. Eliminating Recursion from Monadic Datalog Programs on Trees. In Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Volume 9234 of Lecture Notes in Computer Science, pages 394-406, Springer, 2015. [doi]
Abstract is missing.