Alessandro Provetti: Recollections on Michael Gelfond's 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 191-192