Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz - Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David (Springer Berlin Heidelberg : Imprint: Springer, 2012)