Mandic, Blanka (2023) A rezolúciós eljárás és bonyolultsága és bonyolultsága a nulladrendű logikában. BA/Bsc, Szegedi Tudományegyetem.