@inproceedings{Vampire17:Light_Weight_Integration_SAT,
author = {Stephan Schulz},
title = {Light-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments},
booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
editor = {Laura Kovács and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {53},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/94vW},
doi = {10.29007/89kc},
pages = {9-19},
year = {2018}}