罗德里克·贾尔 逻辑小说：真实与理想。 542-552 1998 conf/pricai/1998年 价格 db/conf/pricai/pricai98.html#Girle98 https://doi.org/10.1007/BFb0095299