@inproceedings{Blanchette_ARCADE2017,
TITLE = {Towards Strong Higher-Order Automation for Fast Interactive Verification},
AUTHOR = {Blanchette, Jasmin Christian and Fontaine, Pascal and Schulz, Stephan and Waldmann, Uwe},
LANGUAGE = {eng},
DOI = {10.29007/3ngx},
YEAR = {2017},
BOOKTITLE = {ARCADE 2017},
EDITOR = {Reger, Giles and Traytel, Dmitriy},
PAGES = {16--23},
SERIES = {EPiC Series in Computing},
VOLUME = {51},
ADDRESS = {Gothenburg, Sweden},
}