Tsai, J. J. P.; Li, B. A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). AJIS 1999, 6.