Title: The automation of reasoning with incomplete information
Subjects: Automatic theorem proving