Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday - Balduccini, Marcello; Son, Tran Cao (Springer Berlin Heidelberg, 2011)