Amit Goel Gagan Hasteer Randal E. Bryant Symbolic representation with ordered function templates. 431-435 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775946 db/conf/dac/dac2003.html#GoelHB03