托马斯·艾特 克里斯蒂娜·费尔 迈克尔·芬克0001 使用ACTHEX模拟生产规则。 211-228 2012 正确的推理 https://doi.org/10.1007/978-3-642-30743-0_15 conf/生日/2012lifschitz db/conf/生日/lifschitz2012.html#EiterFF12