Achieving tightness in dl-programs - Cruz-Filipe, Luis (2012)
Reviewed by Francisco Martins