You are about to access our book library "Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings (Lecture Notes in Computer Science Book 8148) full version" .