@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}
}