@inproceedings{TeuckeFroCoS2015,
TITLE = {First-order Logic Theorem Proving and Model Building via Approximation and Instantiation},
AUTHOR = {Teucke, Andreas and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-2424},
DOI = {10.1007/978-3-319-24246-0_6},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Frontiers of Combining Systems (FroCoS 2015)},
EDITOR = {Lutz, Carsten and Ranise, Silvio},
PAGES = {85--100},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {9322},
ADDRESS = {Wroc{\l}aw, Poland},
}