《控制与信息技术》 过刊查询页面

    关键词中包括 first-order predicate 的文章