@inproceedings{PPoPP-1997-YangO,
	author        = "Bwolen Yang and David R. O'Hallaron",
	booktitle     = "{Proceedings of the Sixth Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/263764.263784",
	isbn          = "0-89791-906-8",
	pages         = "145--156",
	publisher     = "{ACM}",
	title         = "{Parallel Breadth-First BDD Construction}",
	year          = 1997,
}