Publications

@techreport{icps-2001-65,
	title = "Describing Execution Graphs with Rewriting Logic",
	author= "Philippe Gerner",
 	number = "RR 01-06",
	institution = "Université Louis Pasteur, Strasbourg",
	month = "December",
	year  = "2001",
}