paramodulator

[计] 调解式