John Gallagher, investigador de IMDEA Software, y Henning Christiansen han ganado el premio a la mejor publicación en el Congreso Internacional de Programación Lógica 2009 en Pasadena, CA, EEUU por el artículo “Non-Discriminating Arguments and Their Uses”. El premio lo otorga la Association for Logic Programming.
