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) (2012-06-29) full version" .