@inproceedings{,
	author          = {Hans van Maaren and Siert Wieringa},
	title           = {Finding Guaranteed MUSes Fast},
	booktitle       = {Theory and Applications of Satisfiability Testing – SAT 2008},
	publisher       = {Springer},
	year            = {2008},
	editor          = {Hans Kleine Büning, Hans and Xishun Zhao},
	volume          = {4996},
	series          = {Lecture Notes of Computer Science},
	pages           = {291-304},
	isbn            = {978-3-540-79718-0},
	url             = {http://www.springerlink.com/content/0542gp2049717132},
	project         = {SAT},
	group           = {ALG}
}