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