Autarkies for DQCNF - Oliver Kullmann (IEEE, 2019)
The concept of autarkies for DQCNF is introduced, together with a theoretical basis.