https://bookem.ir/books/3098742-Elements-of-Finite-Model-Theory