Полный англо-русский словарь
Обратное построение цепочки (напр., рассуждений от целевой гипотезы к исходным посылкам); обратный (логический) вывод (в экспертных системах)