Alagi, Gábor Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1502.05501.pdf (Preprint), 385KB
Alagi, G., & Weidenbach, C. (2015). NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. Retrieved from http://arxiv.org/abs/1502.05501.