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