Declarative Technologies for Internet and Agent Systems

cover