Alagi, Gábor Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Alagi, G., & Weidenbach, C. (2015). NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. In C. Lutz, & S. Ranise (Eds.), Frontiers of Combining Systems (pp. 69-84). Berlin: Springer. doi:10.1007/978-3-319-24246-0_5.