The automation of reasoning with incomplete information from semantic foundations to efficient computation / - Schaub, Torsten. (Springer,)