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