Одностековая реализация бэктрекинга для языка Форт - Гасаненко (Труды СПИИРАН, 2002)