Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal. Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 97-109, ACM, 2015. [doi]
Abstract is missing.