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