AN ALGORITHM FOR CALCULATING MODELS IN LOGIC PROGRAMMING - Thai Kha, Tran (Science and Technology Development Journal, 2004)