APA Citation

(2008). Automated reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings.

Chicago Style Citation

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. 2008.

MLA Citation

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. 2008.

Warning: These citations may not always be 100% accurate.