MUSAB AHMAD TURKI2022-06-012022-06-014070https://drepo.sdl.edu.sa/handle/20.500.14154/53566en-USA REWRITING LOGIC APPROACH TO THE SEMANTICS OF ORCThesis