resolution refutation system的意思|示意
美 / ˌrezəˈlu:ʃən refju:ˈteiʃ(ə)n ˈsistəm /
英 / ˌrɛzəˈluʃən ˌrɛfjʊˈteʃən ˈsɪstəm /
[计] 归结反演系统