An Algorithm for Local Variable Elimination in Normal Logic Programs

DOI10.1007/11680093_5zbMath1156.68325OpenAlexW1480312003MaRDI QIDQ5302880

Paqui Lucio, Javier Álvez

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

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: An Algorithm for Local Variable Elimination in Normal Logic Programs