The Automation of Reasoning with Incomplete Information From Semantic Foundations to Efficient Computation - Schaub, Torsten; Schaub, Torsten (Springer Berlin Heidelberg : Imprint: Springer, 1997)