SUN, Haiyang; YANG, Jian; ZHAO, Weiliang. A Temporal-Rule Based Verification System for Business Collaboration Reliability. Revista de Informática Teórica e Aplicada, [S. l.], v. 16, n. 2, p. 65–68, 2010. DOI: 10.22456/2175-2745.12571. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/rita_v16_n2_p65. Acesso em: 27 aug. 2026.