Discrete mathematics for computer scientist - Ali Selamat; Md. Hafiz Selamat (Johor Bahru : Penerbit UTM Press, 2012)
References : p. [183]-184.
Keywords: Computer science -- Mathematics; Finite model theory