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