Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2015)