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. Australia, 6(2). doi: 10.3127/ajis.v6i2.291.