SUN, H.; YANG, J.; ZHAO, W. 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: 3 feb. 2023.