Correct reasoning : essays on logic-based AI in honor of Vladimir Lifschitz (2012)