Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) ICLP’11, July 6–10, 2011, Lexington, Kentucky, USA - Gallagher, John P. (LIPIcs - Leibniz International Proceedings in Informatics, 2011)