@book{Schaub1999,
  author    = {Torsten H. Schaub},
  title     = {The automation of reasoning with incomplete information : from semantic foundations to efficient computation},
  volume    = {1409},
  isbn      = {3-540-64515-2},
  doi       = {10.1007/BFb0054963},
  year      = {1999},
}