An Algorithm for Local Variable Elimination in Normal Logic Programs
From MaRDI portal
Publication:5302880
DOI10.1007/11680093_5zbMath1156.68325MaRDI QIDQ5302880
Publication date: 15 January 2009
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11680093_5
68N17: Logic programming