Declarative Programming and Knowledge Management - Michael Hanus, Ricardo Rocha (Springer International Publishing, 2014)