@book{TEMP:book/Schaub99, title = {The Automation of Reasoning with Incomplete Information: From semantic foundations to efficient computation}, author = {Schaub, T.}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1409}, year = {1999} }