@inproceedings{PPDP-2004-DoughertyGL,
	author        = "Daniel J. Dougherty and Silvia Ghilezan and Pierre Lescanne",
	booktitle     = "{Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/1013963.1013982",
	isbn          = "1-58113-819-9",
	pages         = "155--166",
	publisher     = "{ACM}",
	title         = "{Characterizing strong normalization in a language with control operators}",
	year          = 2004,
}