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