%0 Conference Paper %1 conf/dac/MercerKR92 %A Mercer, M. Ray %A Kapur, Rohit %A Ross, Don E. %B DAC %D 1992 %E Schweikert, Daniel G. %I IEEE Computer Society Press %K dblp %P 624-627 %T Functional Approaches to Generating Orderings for Efficient Symbolic Representations. %U http://dblp.uni-trier.de/db/conf/dac/dac92.html#MercerKR92 %@ 0-8186-2822-7

@inproceedings{conf/dac/MercerKR92, added-at = {2017-03-16T00:00:00.000+0100}, author = {Mercer, M. Ray and Kapur, Rohit and Ross, Don E.}, biburl = {https://www.bibsonomy.org/bibtex/2061ce9aab688ba7e0370728f6bd55e14/dblp}, booktitle = {DAC}, crossref = {conf/dac/1992}, editor = {Schweikert, Daniel G.}, ee = {http://portal.acm.org/citation.cfm?id=113938.149646}, interhash = {c3ef3e1385e47cd44fdde8c242da2d08}, intrahash = {061ce9aab688ba7e0370728f6bd55e14}, isbn = {0-8186-2822-7}, keywords = {dblp}, pages = {624-627}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:52.000+0100}, title = {Functional Approaches to Generating Orderings for Efficient Symbolic Representations.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac92.html#MercerKR92}, year = 1992 }