Correct Reasoning: essays on logic-based AI in honor of Vladimir Lifschitz | Publicación