-T. Schaub: The Automation of Reasoning with Incomplete Information, Springer-Verlag 1998 (Subseries LNAI)