_id,doi,title
1524,10.1007/978-3-319-26916-0_10,Efficient reduction of kappa models by static inspection of the rule-set