_id,doi,title
10629,10.4230/LIPIcs.FSTTCS.2021.42,Quantitative verification on product graphs of small treewidth
10630,10.4230/LIPIcs.FSTTCS.2021.34,On the complexity of intersection non-emptiness for star-free language classes