Update link to a portal with a download and other mirrors

The link to a paper in logic_and_programming 404s, this links to http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.524, which has a link to the pdf and mirrors, but the PDF link appears to add a sessionid, hence not linking directly.