@proceedings{IJCAR2014Weidenbach,
TITLE = {Automated Reasoning (IJCAR 2014)},
EDITOR = {Demri, St{\'e}phane and Kapur, Deepak and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-08586-9},
DOI = {10.1007/978-3-319-08587-6},
PUBLISHER = {Springer},
YEAR = {2014},
DATE = {2014},
PAGES = {XV, 528 p.},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {8562},
ADDRESS = {Vienna, Austria},
}