What's there and what's not?: focused crawling for missing documents in digital libraries | IEEE Conference Publication | IEEE Xplore