CITATION STYLE
B, P. B., Bax, J., & Waldmann, U. (2015). Automated Deduction - CADE-25, 9195, 367–377. Retrieved from http://link.springer.com/10.1007/978-3-319-21401-6
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley