You are about to access our book library "Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz (Lecture Notes in Computer Science Book 7265) full version" .