Thủy, Nguyễn Thanh, Nguyễn Hữu Đức, and Nguyễn Vũ Quốc Hưng. 2016. “Nâng Cao hiệu Quả Suy diễn tự động Trong bài toán chứng Minh”. Journal of Computer Science and Cybernetics 14 (4):41-49. https://doi.org/10.15625/1813-9663/14/4/7966.