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