CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9134ef1f6c05406a',cH: 'zKz5Rfkj4itZ_NB_lospaqPuG9iJFfpCw3FKV6g6SZM-1739786465-1.2.1.1-J88dyf6ZwWnejGbbvg_L5fCGQH8ySQxwxv7tAasrmvxYjFALnDai35RGoLJQLtVf',cUPMDTk: "\/abstracts\/search?q=deduction&__cf_chl_tk=wyafNdS6WrdO9fapz3yVdnCsD5r0NxM0jwjcO17uuF0-1739786465-1.0.1.1-Axc7Nze47jgxax2F2pZhqmHKVA022sk.9qkHJKxcNnM",cFPWv: 'b',cITimeS: '1739786465',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=deduction&__cf_chl_f_tk=wyafNdS6WrdO9fapz3yVdnCsD5r0NxM0jwjcO17uuF0-1739786465-1.0.1.1-Axc7Nze47jgxax2F2pZhqmHKVA022sk.9qkHJKxcNnM",md: "CxaD15q6m6N5AjA_VR1zqmUwxAXh2PXBWqkoBWhLuhg-1739786465-1.2.1.1-pl_wjL827TwDdUo8kRTSPNDZg6umPTHXXHF4cyI8tIGipuBeA380693398MQRi10A6UNxNeJ4flHZHe9OnbRWxb6Y7bYY4U0lXhu4XDsPqJYH_Ii2Swqww6KVWwS4W5fcO4M0AkBrZahe9dxPhUaL5NbB0B1G81sSm2K8HGl5gfWcac_a2gq0IYbS_TegfHIoR5uasR4DXACW0RfKpKBsBO8BqS14pgBZs.iGghLL1Xjibl1Q3VAar0BglfzuE9clGe5LPd3X0OY9_oWG3f03AtaSyDosaScP4HbQCZ437gIhMeHOMfwwlXYuWCmguPbXWeNUs2xAShSuHSLRWyB.8lg_ykg1Wkd7Hwxv2YLDmGQV9VLIHOB4yNLWacTBYPZGRzbp08TTRRbSE2LZBGi_xy25UTc90UGEyaUW.RH6PM8fT2wE83GGk8PmqucQKk7gUd6VOGbw0puZ6ymvEYe9wbCcUQypWT8VvWTlNOKP0yPM9NGLec_0Bmhw_Cz0Q1q1HYPJuO9naos5DMQ4Dr6_HxtULPOoPIKsxZuq1F8MJLKqm9sVsndvRDfo6iEjDPnKeIyzaU.9rbNipSnJQy54sqTr5TO9ETPUWZd10.3TNBGMI__pEp8fDm8YdCEozM0wQzXvGz9MBxqHV2Ddi7WIY6by6PzyLvlVuAa4EAb8I4hEeP1BcJ7br83zrYp.9q80MydErWf5gQEHOopyzJRXGCM1kWaKSx65neVBXtE2PVfqBgD7KECOTEBdsv65MhldtUl.E9sTAcbEFcIyWRSrMPn1sm9Hp_PgO18BNlwXWqgg5L98i5z6cpLptA_wOQ1NsVYC1jYdiNaR98VIjmO45IA3rhHd.D5y.657ahxmQPRm_zHtSQOoDbGbNpjfiuAkASePAxZrUPI_c00Sqlo18ahvs0g.JrAd6.yOyRrrCGmNLLdE4JhNfa8lNrEjIX6gzO1FrO8LX3T9seeAiFhEbO8zl9_tMkkDek5IfNvkMleYNUJDbxhkH0myx7DYwiVRemd1ZiD0mKl2xkxoLcSsGq2r2ma01sWGCWe1GgqCjU15wVgan5Vy1yst9dGxZiFvF9XYeiNLEuejf.mhw8ON.LKqP6rxfwVkOoOereG38FF7Ddt86wiaUZtBnrqv_7YBmnRpXjZH1_4xDtsJMzB.fJZbLYhS41SDTb.FF7gxlUCHSlvppR0CWFpXZbOY2VHUQnJnDHrZVbhS0OjfXbzr3h9y9lD_7JwwGhw5J.Tbdkh_ZRRHOZ_Ku_2fn0znmz4dZEi.ba_fkashi9w9btIDb1oLlch9yzuw9OUy80yudch2BPBhSkpQc2pMeXx3EBjdUfjt9LuWrgm39xQI9tgks0r3bOal0zpHeV_GvGPQA7GGMJdg3ZCq.muxdaCVWUVPXhtwdJl6ffXuNHSh7hN0bD12fPNG5ThvzGnyC_Ao6MLZFcDpsNgotHYQHShJfPeBZ2NPe4Hw16HBJejMn_T0MEUBkLdfPeTrWAu9sAsHHSDf3DNOvIHG7DtxeZMix5g705Mk6lIz8aTRi52e_v_1qhEQ3tZz59CHqwl9raIDEqwmq.E8kB9HixZlNHS.SjV3iP3eX2UG_WkmfZReBqji2U3d968qlHi2X.FnnRKuYZ8bTt0GAAVcTwcKBxv2nphvT6v5coFBxs4VMFbZ3nFwUjb8G7uWVb8tngwQbnfRkW7iB19Bb0lL5COCghgvD98ekAke99ou88TXAXpQhjhjCSQX5ck6p2EKcqck9MYsg6m21DzTtL8dQUU4M1_nfexWIzts9vWpFtGjedyMLYJxedgUhVLiV7k491Xvdr0h_WOIxo4i2jq9dnfhO9IXytBjxXVyLlxc2nx93t.Pnm3YCp0Z8HWXlKrOIcdRVgL5Gz1Bqt_XgL8HHJBhvK4jLokpWH4ty8EEZjOGCqhzUOe6w",mdrd: "qKKgJEmQ_xpCCTIYAiCewpGH0nAm.YH41Rlsa7MlGEw-1739786465-1.2.1.1-NnJJaUSm9W_STK0JbM39oFHRiPT5znMJF4gWwJ9_cWp68TLCM9hV_U2YRXcHk9zlYxiAo.tg3qoi1BhlwtPlAz_4yRpZLM4UsbCfjbPBSzmkLVAfbiHJpPFVDWG0uetd19xVLmaY1un0zFMw0eAFBHoeO92wGm4FPVxvIpEPqP_YLOc0w0M0o1UG2NirM8kvgRxGvFxuVCbam4g2dEIZidxlxO94rUi94UEX_mHJfZbIXngRH.k1AFRE6F.ahS0R0Qgl.oOc_RBSXRUalP26P48yF718NPi4tOAAhidjJExZrFgkRRKbKzYeY.hu.WbBavxlwnat41ImryUed0n.Ny9zD2lZwW5l3_3YNX87DvmUsJ3a3s4xIpR3vOcHIDbj38E1YWaUQxcaSVGo.mAnstMcflUZfjsF_775VR2mhYu.iY.DRkwEXp3LQnDVONlGwPp7zIAI8yUuHtREsoYTdzUn.dkN2P5kp94NWsFurdBs52EhQZy5EXb.sFrZTQy5klyBJrtZF89YAKw4oZBWRQUtGHvzr1_7xosC9Huu301dMdp.MBQmE9L1loNklaudbKkfbmA9krLqNuBVWtic6szGVmFxSRBBmVoVFKR8tnGrJwg0NvEzQygypFNz.OpSeHlDdwXHdjZ9ymTRjgvlzQEbvA8iX8R3KayYhQtPAEfa81h8YMx7Fy1DPISpZJ5c.GZdv23Cvl1KHIa3qpgd48uSFMdhCsLaK6iP.dlIxg9d2gYJfx2aolw1ojnVipnQ9Stmn8z3GvdYOmnkTLhsqslF0UBvtQa2E48EPwDr.dIVR7lraaB19TviZqdgA_6yRILr1AF21Cdc13066y1_pZsj2joHmRxwHQuWoSQcBppYD7PMpqTkQYehnbDz_ym2bdeu.cq.M5L3sDkk7fUEwiyyeP21_3444wqBpQLyEmPipcPlNFuXZt8m9yIOYgQ233VU_CGXYE8zBczWBuxjd_izYlnU3bzMWLe0zOl0uj..y6l84XiH3zrI3_hufxosA5fQaWAlaJpcy5Y8GAyQ4mKzmgfkbDXKhYzs.fogcoEHrj7o89CQ5Y_LWsyK1mp65znYwIl6BBkhddwba0IAJVkzuKVSjTOV7QIjXspIg9htvkmcjpbN6MTvqHygR1i92yejQSMCi69052YC7tXAwmz_ERf1cLwQsdmJIMmJGXYFo3XqLY6pZH_xw.1ey.2mHfrvfFobqpq3Mv9Uzyx8h4cOkgSN16BKE6o.RUGIja7U3bTfZkv4aY2vXvkaisu.yDG0eE0P_Shs..Ybl9XqHD7Y5snjECaZDh7HKOrujCqzOQi6sU.lcXawHFbSDn35k1a1VLA5u63yoAwNdbEICbIYHOGRxAjh1MGzhncLNMtouz5bS8aOUo9vEVDvAAI82y8g_WwqDxyKqEZ6d5Z9LEsp4Wu77OqJOf8XTIa6YVtTD.aS68PunkmcwhyragOzIfYiKIIfY0uq2Z4Ot3l5gvCSmZfuH_RQUwsqbjCrm6D9Rya4XuCRlfhtMIVrQRTnrXo4kMjcFun71kUfsIjPsd8SnDj9P1btG3wAdHD1ZoxMh__wN256G.vTaLVqI_XsdpOa8zbiSVm3aoBsx12Z.dnBovDf8NNXk7mNGgjSJTjBBJF15d_wugWFVonKvAXre.46pSJWgpLfFGjL4Gpy3pSL4RvQtBuAfVz3anch2inHH3k3lKQLrmW2nw49QJx9kG2BekQrGk3pw8LtH4ecefJcgaOjyBEtWdd6sIUJFbjSaOwqJtdTdMF_Ymov6aWxOObJkjgMKB2KElP87cQ8yqL929PmEJmmJZ9fZYJ9TBhj6fR6NKVTFCfHOIMrJOx_dXBNBd3YtUF1iEAuByKJpf05d8ULVOdBzlcmrPJZSj6f9mni3_J5s7iu.7ihewqm3u_gxvTYuyl9flyc8M7o30QIhuKrx_wNZdor4wxTGdYxRLvBaB.zJAzXfjRWmomX"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9134ef1f6c05406a';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=deduction&__cf_chl_rt_tk=wyafNdS6WrdO9fapz3yVdnCsD5r0NxM0jwjcO17uuF0-1739786465-1.0.1.1-Axc7Nze47jgxax2F2pZhqmHKVA022sk.9qkHJKxcNnM" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>