Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
doi:10.1145/2676726.2676979 dblp:conf/popl/ChatterjeeIPG15 fatcat:zh63zfdwafdajm4touu2uhzga4