@inproceedings{WDBFMCAD00,
author = "Chris Wilson and David L. Dill and Randal E. Bryant",
title = "Symbolic Simulation with Approximate Values",
booktitle="Formal Methods in Computer-Aided Design, Third Int'l
	Conf., 2000",
Note="Austin, TX",
month="November",
year=2000}