On the non-termination of MDG-based abstract state enumeration (0)

by O Ait-Mohamed, X Song, E Cerny
Venue:Theoretical Computer Science