Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker: Integration of orthogonal QBF solving techniques. DATE 2011: 149-154