3 books • 4 series
Book #422: Reasoning and Revision in Hybrid Representation Systems
Book #861: KI-94