APA (7th ed.) Citation

SpringerLink (Online service), Voronkov, A., & Clarke, E. M. (2010). Logic for programming, artificial intelligence, and reasoning: 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers. Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Andrei Voronkov, and Edmund M. Clarke. 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, 2010.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, Revised Selected Papers. Springer, 2010.