@inproceedings{DATE-2001-ThorntonD,
	author        = "Mitchell A. Thornton and Rolf Drechsler",
	booktitle     = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
	doi           = "10.1145/367072.367860",
	isbn          = "0-7695-0993-2",
	pages         = "713--719",
	publisher     = "{ACM}",
	title         = "{Spectral decision diagrams using graph transformations}",
	year          = 2001,
}