DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2011.12.059,3168,ToHe,Lumpability abstractions of rule based systems