Παραπομπή σε μορφή APA (7η εκδ.)

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 (17η εκδ.)

Clarke, Edmund M., και 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 εκδ.)

Clarke, Edmund M., και 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.