Полный англо-русский словарь
Откат с учетом зависимости (механизм разрешения противоречий в экспертных системах)