Подходящий алгоритм для поиска всех петель транзитивного замыкания в графе?

Я хочу найти все циклы транзитивного замыкания на моем графике, имеющие следующие условия:

1. если все узлы, присутствующие в идентифицированной петле, являются подмножеством другой идентифицированной петли, то мы будем рассматривать только надмножество.
2. найти все различные петли.

ПРИМЕЧАНИЕ: читайте «петля» как -> цикл транзитивного замыкания (т.е. узлы в наборе транзитивного замыкания)