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