https://bookem.ir/books/3609771-Mathematical-Aspects-of-Logic-Programming-Semantics
Mathematical Aspects of Logic Programming Semantics