@inproceedings{AlagiFroCoS2015,
TITLE = {{NRCL} -- A Model Building Approach to the {Bernays}-{S}ch{\"o}nfinkel Fragment},
AUTHOR = {Alagi, G{\'a}bor and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-2424},
DOI = {10.1007/978-3-319-24246-0_5},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Frontiers of Combining Systems (FroCoS 2015)},
EDITOR = {Lutz, Carsten and Ranise, Silvio},
PAGES = {69--84},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {9322},
ADDRESS = {Wroc{\l}aw, Poland},
}