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