Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.

Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth

Browse the full PODS paper archive.