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