The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation - Torsten Schaub ((Lecture Notes in Computer Science))