An application of the minimal coverability graph

Cristian Vidrascu