Applications of Declarative Programming and Knowledge Management - Seipel, Dietmar (Springer Berlin Heidelberg, 2009)