Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers - Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson) (Springer Berlin Heidelberg, 2010)