Top-down and Bottom-up Evaluation Procedurally Integrated
From MaRDI portal
Publication:4559824
DOI10.1017/S1471068418000194zbMath1452.68040arXiv1804.08443MaRDI QIDQ4559824
Publication date: 4 December 2018
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.08443
68N17: Logic programming
Uses Software