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