APA Style
Davis, M. et al (2015).
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings .
Heidelberg:
Springer Berlin, Heidelberg.
MLA Style
Davis, Martin. et al.
"Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings".
Heidelberg:
Springer Berlin, Heidelberg,
2015.
Text.