APA (7th ed.) Citation

Clarke, E. M., & Voronkov, A. (2010). Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Clarke, Edmund M., and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

MLA (8th ed.) Citation

Clarke, Edmund M., and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers. Springer Berlin Heidelberg, 2010.