Ngữ nghĩa thủ tục của chương trình logic có ràng buộc - Trương Công, Tuấn (2014)