Tsai JJP, Li B. A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). AJIS [Internet]. 1999May1 [cited 2024Oct.15];6(2). Available from: https://ajis.aaisnet.org/index.php/ajis/article/view/291