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