Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings - McMillan, Kenneth L. (Lecture notes in computer science, 2013)