J. J. P. Tsai and B. Li, “A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)”, AJIS, vol. 6, no. 2, May 1999.