APA (7th ed.) Citation

IJCAR 2010 Edinburgh, Scotland, SpringerLink (Online service), Giesl, J., & Hähnle, R. (2010). Automated reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer-Verlag. https://doi.org/10.1007/978-3-642-14203-1

Chicago Style (17th ed.) Citation

IJCAR 2010 Edinburgh, Scotland, SpringerLink (Online service), Jürgen Giesl, and Reiner Hähnle. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin ; Heidelberg: Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-14203-1.

MLA (9th ed.) Citation

IJCAR 2010 Edinburgh, Scotland, et al. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-14203-1.