SLDNF-resolution with equality
From MaRDI portal
Publication:1189731
DOI10.1007/BF00244285zbMath0754.68036MaRDI QIDQ1189731
Publication date: 27 September 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00244285
68N17: Logic programming
Related Items