_id,doi,title
962,10.1007/978-3-319-63390-9_21,Model counting for recursively-defined strings