%0 Generic
%T Skolem functions for DQBF
%A Wimmer, Karina
%A Wimmer, Ralf
%A Scholl, Christoph
%A Becker, Bernd
%7 Extended version
%I [Albert-Ludwigs-Universität Freiburg]
%D 2016
%X This is an extended version of a paper which was published at the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), held October 16 - 20, 2016 in Chiba, Japan
%C [Albert-Ludwigs-Universität Freiburg]
%C [Freiburg]
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation