Title: The Automation of Reasoning With Incomplete Information
First published: 1997
Subjects: Automatic theorem proving
LC classification: QA76.9.A96 S42 1997