Tsai, Jeffrey J. P., and Bing Li. 1999. “A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)”. Australasian Journal of Information Systems 6 (2). Australia. https://doi.org/10.3127/ajis.v6i2.291.