Strong Backdoors for Default Logic | Read Paper on Bytez