@techreport{RR2006-13,
	author = {Florent Bouchez and Alain Darte and Fabrice Rastello},
	year = {2006},
	url = {http://www.ens-lyon.fr/LIP/Pub/rr2006.php},
	month = {mar},
	address = {ENS-Lyon, France},
	number = {RR2006-13},
	institution = {LIP},
	title = {Register allocation: What does Chaitin's
                   NP-completeness proof really prove?},
}