438A64F7-10A8-4996-A709-04EE1AAE0410REVES: REasoning in VErification and SecurityResearch GrantEP/K032674/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL747290FB445771-0356-4AA8-9D4F-1987C769621CNew Techniques in Clausal Form Generationdd96b4901f249668497c7ed6a156b446Reger Ghttp://dx.doi.org/10.29007/dzfzhttp://dx.doi.org/10.29007/dzfzConference/Paper/Proceeding/Abstract5aaacdc1a98238.45320836