Arash Arfaee Ali Irturk Nikolay Laptev Farzan Fallah Ryan Kastner Xquasher: a tool for efficient computation of multiple linear expressions. 254-257 2009 DAC https://doi.org/10.1145/1629911.1629980 conf/dac/2009 db/conf/dac/dac2009.html#ArfaeeILFK09