斯迪恩·海曼斯 克里斯蒂娜·费尔 托马斯·艾特 简单概念逻辑程序的推理器。 55-70 2009 相对应力 https://doi.org/10.1007/978-3-642-05082-4_5 conf/rr/2009年 db/conf/rr/rr2009.html#HeymansFE09