Updated ISSAC '13 paper info
Added cv, printing style, and reorganized structure slightly