An efficient method for detecting redundant feedback vertices door B. Hasselaman