selected publications chapter Provenance Circuits for Trees and Treelike Instances. Lecture notes in computer science. 56-68. 2015 Monadic Datalog Containment. Lecture notes in computer science. 79-91. 2012