@inproceedings{DAC-2005-MonyBPK,
	author        = "Hari Mony and Jason Baumgartner and Viresh Paruthi and Robert Kanzelman",
	booktitle     = "{Proceedings of the 42nd Design Automation Conference}",
	doi           = "10.1145/1065579.1065700",
	isbn          = "1-59593-058-2",
	pages         = "463--466",
	publisher     = "{ACM}",
	title         = "{Exploiting suspected redundancy without proving it}",
	year          = 2005,
}