APA (7th ed.) Citation

IJCAR 2008 Sydney, Australia, SpringerLink (Online service), Armando, A., Baumgartner, P., & Dowek, G. (2008). Automated Reasoning: Fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings. Berlin ; Springer. https://doi.org/10.1007/978-3-540-71070-7

Chicago Style (17th ed.) Citation

IJCAR 2008 Sydney, Australia, SpringerLink (Online service), Alessandro Armando, Peter Baumgartner, and Gilles Dowek. Automated Reasoning: Fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : Proceedings. New York: Berlin ; Springer, 2008. https://doi.org/10.1007/978-3-540-71070-7.

MLA (9th ed.) Citation

IJCAR 2008 Sydney, Australia, et al. Automated Reasoning: Fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : Proceedings. Berlin ; Springer, 2008. https://doi.org/10.1007/978-3-540-71070-7.