@article{WRLA-J-2010-EscobarSM12,
	author        = "Santiago Escobar and Ralf Sasse and José Meseguer",
	doi           = "10.1016/j.jlap.2012.01.002",
	journal       = "{Journal of Logic and Algebraic Programming}",
	number        = "7-8",
	pages         = "898--928",
	title         = "{Folding variant narrowing and optimal variant termination}",
	volume        = 81,
	year          = 2012,
}