Tsai, Jeffrey J. P., and Bing Li. “A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)”. Australasian Journal of Information Systems 6, no. 2 (May 1, 1999). Accessed April 26, 2024. https://journal.acs.org.au/index.php/ajis/article/view/291.