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.