FERPModels: A Certification Framework for Expansion-Based QBF Solving | IEEE Conference Publication | IEEE Xplore