@article{ciabattonimetcalfe2008,
	title     = {Density elimination},
	author    = {A. Ciabattoni and G. Metcalfe},
	year      = {2008},
	journal   = {Theor. Comput. Sci.},
	volume    = {403},
	number    = {2-3},
	pages     = {328--346},
	state     = {published}
}