APA (7th ed.) Citation

IJCAR (Conference) Cork, Ireland), SpringerLink (Online service), Basin, D., & Rusinowitsch, M. (2004). Automated reasoning: Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings. Springer.

Chicago Style (17th ed.) Citation

IJCAR (Conference) Cork, Ireland), SpringerLink (Online service), David Basin, and Michaël Rusinowitsch. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : Proceedings. Berlin ; New York: Springer, 2004.

MLA (9th ed.) Citation

IJCAR (Conference) Cork, Ireland), et al. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : Proceedings. Springer, 2004.