Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki, Hidenori Itoh. An Improvement of Herbrand s Theorem and Its Application to Model Generation Theorem Proving. J. Comput. Sci. Technol., 22(4):541-553, 2007. [doi]
Abstract is missing.