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