Model Checker for Recursive Aggregates.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino

Browse the full KR paper archive.