https://bookem.ir/books/920501-Answer-Set-Programming-for-Continuous-Domains