Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani. On (Maximal, Tractable) Fragments of the Branching Algebra. In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 113-126, CEUR-WS.org, 2020. [doi]
Abstract is missing.