TSAI, J. J. P.; LI, B. A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). Australasian Journal of Information Systems, Australia, v. 6, n. 2, 1999. DOI: 10.3127/ajis.v6i2.291. Disponível em: https://journal.acs.org.au/index.php/ajis/article/view/291. Acesso em: 24 apr. 2024.