Thai Kha, Tran. “AN ALGORITHM FOR CALCULATING MODELS IN LOGIC PROGRAMMING”. Science and Technology Development Journal 7, no. 6 (June 30, 2004): 54-59. Accessed April 3, 2025. http://stdj.scienceandtechnology.com.vn/index.php/stdj/article/view/3218.