%0 Conference Paper %1 conf/frocos/AlagiW15 %A Alagi, Gábor %A Weidenbach, Christoph %B FroCos %D 2015 %E Lutz, Carsten %E Ranise, Silvio %I Springer %K %P 69-84 %T NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#AlagiW15 %V 9322 %@ 978-3-319-24245-3

@inproceedings{conf/frocos/AlagiW15, added-at = {2023-12-13T07:41:57.000+0100}, author = {Alagi, Gábor and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27fa69d0d23907f85e86612d81050d75f/admin}, booktitle = {FroCos}, crossref = {conf/frocos/2015}, editor = {Lutz, Carsten and Ranise, Silvio}, ee = {https://doi.org/10.1007/978-3-319-24246-0_5}, interhash = {bc2140ec345977e95cf166e02ca8d575}, intrahash = {7fa69d0d23907f85e86612d81050d75f}, isbn = {978-3-319-24245-3}, keywords = {}, pages = {69-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:41:57.000+0100}, title = {NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#AlagiW15}, volume = 9322, year = 2015 }