https://intlibrary.ir/download/logic-programming:-first-russian-conference-on-log-93065/