Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20, 2015, Suva, Fiji, November 24-28, 2015 : proceedings. ISBN 9783662488980. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.