PanLinx
русский
rus-000
линейная парамодуляция
English
eng-000
linear paramodulation
PanLex
