https://intlibrary.ir/download/logic-programming:-20th-international-conference,--77742-8962/