3 books • 2 series
Book #1409: The Automation of Reasoning with Incomplete Information
Book #3300: Inconsistency Tolerance