Levi Advances in Logic Programming Theory - Oxford University PressOxford University Press 2023 ISBN: 9781383026429 Source: EBOOK