Automated Reasoning: Real Uses and Potential Uses.

Larry Wos

Browse the full IJCAI paper archive.