
@conference {inp:Hammer2013,
	title = {Efficient Algorithms for Control Closures},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {C. Hammer}
}
