Cristian Vidrascu Some Applications of the Minimal Coverability. 55-78 2001 10 Sci. Ann. Cuza Univ. db/journals/cuza/cuza10.html#Vidrascu01