@inproceedings{depaula-hu-dac2007,
	author = "de Paula, Flavio M. and Alan J. Hu",
	title = "An Effective Guidance Strategy for Abstraction-Guided Simulation",
	booktitle = "44th Design Automation Conference",
	year = 2007,
	organization = "ACM/IEEE",
	pages = "63--68"
}