Tao Pi C.-J. Richard Shi Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits. 19-22 2000 DAC http://doi.acm.org/10.1145/337292.337304 db/conf/dac/dac2000.html#PiS00