@inproceedings{DBLP:conf/cade/HorbachS14,
TITLE = {Locality Transfer: {From} Constrained Axiomatizations to Reachability Predicates},
AUTHOR = {Horbach, Matthias and Sofronie-Stokkermans, Viorica},
LANGUAGE = {eng},
ISBN = {978-3-319-08586-9},
DOI = {10.1007/978-3-319-08587-6_14},
PUBLISHER = {Springer},
YEAR = {2014},
DATE = {2014},
BOOKTITLE = {Automated Reasoning (IJCAR 2014)},
EDITOR = {Demri, Stephane and Kapur, Deepak and Weidenbach, Christoph},
PAGES = {192--207},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {8562},
ADDRESS = {Vienna, Austria},
}