It's probably better to detect these from page content rather than URL. E.g. this would not work on a page like http://ntrs.nasa.gov/search.jsp?R=19930054656

This shouldn't be too hard, since the document type is always listed on the left.