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, 7265) full version" .