Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-662-48899-7