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