TY - SER AU - Greco, Sergio [and other] TI - Dynamic programming in Datalog with aggregates KW - DYNAMIC PROGRAMMING ER -