Here's the PDF: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc...

It wasn't Knuth who used Claude, but his friend. Nevertheless, Knuth was quite impressed.