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