@article{AFL-J-2011-MalettiQ12,
	author        = "Andreas Maletti and Daniel Quernheim",
	doi           = "10.1142/S0129054112400485",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 6,
	pages         = "1207--1226",
	publisher     = "{World Scientific}",
	title         = "{Unweighted and Weighted Hyper-Minimization}",
	volume        = 23,
	year          = 2012,
}