<div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">I don't know about short stories, but Wolfe does mention him in _Fifth<br>Head_, doesn't he?</blockquote>
<div> </div>Yep. We very recently discussed that: He mentions Vinge in the library scene in Fifth Head. He has some books there.<br> </div>