Akademik
правило вывода
rule of inference
production rule
Большой англо-русский и русско-английский словарь
.
2001
.