Correct reasoning essays on logic-based AI in honour of Vladimir Lifschitz / - Erdem, Esra. (Springer,)