最小Herbrand模型相关论文