@inproceedings{Yang_Song_2012,
    doi = {10.1109/aspdac.2012.6165012},
    url = {https://doi.org/10.1109%2Faspdac.2012.6165012},
    year = {2012},
    month = {jan},
    publisher = {{IEEE}},
    author = {Yang Song and Guoyong Shi},
    title = {Hierarchical graph reduction approach to symbolic circuit analysis with data sharing and cancellation-free properties},
    booktitle = {17th Asia and South Pacific Design Automation Conference}
}

@inproceedings{Yang_Song_2012, doi = {10.1109/aspdac.2012.6165012}, url = {https://doi.org/10.1109%2Faspdac.2012.6165012}, year = {2012}, month = {jan}, publisher = {{IEEE}}, author = {Yang Song and Guoyong Shi}, title = {Hierarchical graph reduction approach to symbolic circuit analysis with data sharing and cancellation-free properties}, booktitle = {17th Asia and South Pacific Design Automation Conference} }