Clarke, E. M., & Voronkov, A. (2010). Logic for Programming, Artificial Intelligence, and Reasoning: [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationClarke, Edmund M., andfavorite Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / Edited By Edmund M. Clarke, Andrei Voronkov. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
MLA CitationClarke, Edmund M., andfavorite Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / Edited By Edmund M. Clarke, Andrei Voronkov. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.