_id,doi,title
1602,10.1145/2676726.2676979,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth