Updated library reference to SEA 2014 paper.
Added link to arxiv version.