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