DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-26916-0_10,1524,"CaGu,ToHe",Efficient reduction of kappa models by static inspection of the rule-set