What professors? The only one I know of that is involved is Dave Touretzky, who has only posted a copy of the other's work after they were sued. I do not think

What professors? The only one I know of that is involved is Dave Touretzky, who has only posted a copy of the other's work after they were sued. I do not think they have taken any action against him.