DOI,IST REx ID,Research Group,Title of publication
10.1145/2676726.2676979,1602,KrCh,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth