Added a link to the ICMS extended abstract.