Павлов, Д. Реверсивный поиск и перебор поддеревьев графа. CTE 2014.