Chau, T. (1996). Theorem of standard form for sele-modifying some closure propertier and decision problem. VNU Journal Of Science: Natural Sciences And Technology, 12(3). Retrieved from https://js.vnu.edu.vn/NST/article/view/4104