Title: Partial proofs and partial answers
First published: 1978
Subjects: Artificial intelligence