提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/siamcomp/Statman80澳大利亚统计局，RichardTI-带Paramodulation的输入分辨率的最坏情况指数下限。JO-SIAM J.计算。VL-9IS-1标准第104页EP-1101980年上半年//DO-10.1137/0209008UR-（欧元）https://doi.org/10.1137/0209008急诊室-