M. Ray Mercer, Rohit Kapur, Don E. Ross
Functional Approaches to Generating Orderings for Efficient Symbolic Representations
DAC, 1992.
@inproceedings{DAC-1992-MercerKR,
acmid = "113938.149646",
author = "M. Ray Mercer and Rohit Kapur and Don E. Ross",
booktitle = "{Proceedings of the 29th Design Automation Conference}",
isbn = "0-8186-2822-7",
pages = "624--627",
publisher = "{IEEE Computer Society Press}",
title = "{Functional Approaches to Generating Orderings for Efficient Symbolic Representations}",
year = 1992,
}