Hamid Shojaei Twan Basten Marc Geilen Phillip Stanley-Marbell SPaC: a symbolic pareto calculator. 179-184 2008 CODES+ISSS http://doi.acm.org/10.1145/1450135.1450176 conf/codes/2008 db/conf/codes/codes2008.html#ShojaeiBGS08