Computing Maximal Autarkies with Few and Simple Oracle Queries - Oliver Kullmann (2015)
Lecture Notes in Computer Science 9340