%0 Journal Article %1 journals/corr/AlagiW15 %A Alagi, Gábor %A Weidenbach, Christoph %D 2015 %J CoRR %K %T NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper). %U http://dblp.uni-trier.de/db/journals/corr/corr1502.html#AlagiW15 %V abs/1502.05501

@article{journals/corr/AlagiW15, added-at = {2023-12-12T17:54:33.000+0100}, author = {Alagi, Gábor and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/26ed4ad17702f39d4deb9705dd51108a6/admin}, ee = {http://arxiv.org/abs/1502.05501}, interhash = {0a8f5e6596e99b9071c5a1d15c47f458}, intrahash = {6ed4ad17702f39d4deb9705dd51108a6}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:54:33.000+0100}, title = {NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1502.html#AlagiW15}, volume = {abs/1502.05501}, year = 2015 }