Theorem Provers as Question Answerers

Jared L. Darlington. Theorem Provers as Question Answerers. In IJCAI. pages 317-318, 1969.

Abstract

Abstract is missing.