@book{DBLP:books/daglib/0001787,
  title = {New foundations for automation of default reasoning},
  author = {Linke, Thomas},
  publisher = {Infix},
  series = {{DISKI}},
  volume = {237},
  year = {2000}
}