Jawahar Jain K. Mohanram Dinos Moundanos Ingo Wegener Yuan Lu Analysis of composition complexity and how to obtain smaller canonical graphs. 681-686 2000 DAC http://doi.acm.org/10.1145/337292.337613 db/conf/dac/dac2000.html#JainMMWL00