PanLinx
русский
rus-000
откат с учётом зависимости
English
eng-000
dependency-directed backtracking
PanLex