Mohd Zin A, Shukur Z. Testing the Satisfiability of Z Formal Specifications by Using Prolog. MJCS [Internet]. 2004 Jun. 1 [cited 2024 Dec. 23];17(1):42-51. Available from: https://sare.um.edu.my/index.php/MJCS/article/view/6185