P.  Hitzler and Seda, A. K., Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC Press, 2010, p. 304.