Skolem functions for DQBF
scientific article; zbMATH DE number 6965638