单词上的正一阶逻辑| IEEE会议出版物| IEEE Xplore