rule Author
	transform a : DBLP!Author
	to out : DBLP2!Author {
	
	guard : a.records.exists(r : DBLP!InProceedings|r.bootitle.indexOf('ICMT')>=0)
	
	out.name = a.name;
	out.active = a.records.exists(r : DBLP!InProceedings| r.year>2008 and r.bootitle.indexOf('ICMT')>=0);
}