[1]
Mohd Zin, A. and Shukur, Z. 2004. Testing the Satisfiability of Z Formal Specifications by Using Prolog.
Malaysian Journal of Computer Science
. 17, 1 (Jun. 2004), 42–51.