Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.

Mario Alviano, Gianluigi Greco, Nicola Leone

Browse the full LPNMR paper archive.