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]
No references recorded for this publication.
No citations of this publication recorded.