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