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