_id,doi,title
3168,10.1016/j.tcs.2011.12.059,Lumpability abstractions of rule based systems