NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. - Gábor Alagi; Christoph Weidenbach (FroCos, 2015)

NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper). - Gábor Alagi; Christoph Weidenbach (CoRR, 2015)